Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
From MaRDI portal
Publication:3066127
DOI10.1007/978-3-642-17071-3_15zbMath1312.68131MaRDI QIDQ3066127
Axel Legay, Alexandre David, Ulrik Nyman, Andrzej Wąsowski, Kim Guldstrand Larsen
Publication date: 8 January 2011
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://vbn.aau.dk/da/publications/e86f7333-27b6-48ed-88f6-4046b1578b8f
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A process algebraic view of input/output automata
- Event-clock automata: a determinizable class of timed automata
- A theory of timed automata
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Timed I/O automata
- The Theory of Timed I/O Automata, Second Edition
- Compositional Abstraction in Real-Time Model Checking
- Refinement and Consistency of Timed Modal Specifications
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
- On the synthesis of discrete controllers for timed systems
- Handbook of Real-Time and Embedded Systems
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
- Modal I/O Automata for Interface and Product Line Theories
- CONCUR 2005 – Concurrency Theory
- CONCUR 2003 - Concurrency Theory