Predictable real-time software synthesis
From MaRDI portal
Publication:2642542
DOI10.1007/s11241-007-9013-6zbMath1118.68048OpenAlexW2059883901MaRDI QIDQ2642542
Jinfeng Huang, J. P. M. Voeten, Henk Corporaal
Publication date: 17 August 2007
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-007-9013-6
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Scheduler modeling based on the controller synthesis paradigm
- A theory of timed automata
- The algebra of timed processes, ATP: Theory and application
- Performance modelling of a network processor using POOSL.
- The formal semantics of SDL-2000: Status and perspectives.
- Uppaal in a nutshell
- Dynamical properties of timed automata
- Almost ASAP semantics: from timed models to timed implementations
- Branching-Time Property Preservation Between Real-Time Systems
- Object-oriented modelling and specification using SHE
- Hybrid Systems: Computation and Control
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Predictable real-time software synthesis