default search action
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
found 5 matches
- Kim Guldstrand Larsen:
Verification of Timed and Hybrid Systems. ICATPN 2000: 39-42
- Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig:
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Comput. Pract. Exp. 1(2) (1998)
- Nancy A. Lynch:
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. Hybrid Systems 1995: 449-463
- Ying Zhang, Alan K. Mackworth:
Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata. Hybrid Systems 1995: 587-603
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
loading more results
failed to load more results, please try again later
manage site settings