Quantified event automata: Towards expressive and efficient runtime monitors

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David Rydeheard

Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

192 Downloads (Pure)

1 results
- Title(descending)

Rule-based analysis for talking to spacecraft
(Participant), (Participant) & Reger, G. (Participant)
Impact: Economic, Technological