swMATH1389MaRDI QIDQ14128FDOQ14128
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/3-540-44585-4_39
Cited In (33)
- A survey of timed automata for the development of real-time systems
- Schedulability of asynchronous real-time concurrent objects
- Compositional schedulability analysis of real-time actor-based systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Languages and Tools for Hybrid Systems Design
- Checking timed Büchi automata emptiness efficiently
- Verification of Giotto based embedded control systems
- Title not available (Why is that?)
- Kronos
- Rabbit
- Uppaal2k
- SIGNAL
- DREAM Tool
- Oris
- Giotto
- Sumatra
- LearnLib
- Viptos
- McAiT
- Quartz
- LinAIG
- TURTLE-P
- CoVer
- Tempo
- Synthia
- UPPAAL TIGA
- ITS-Tools
- From synchronous programs to symbolic representations of hybrid systems
- Modular Schedulability Analysis of Concurrent Objects in Creol
- Title not available (Why is that?)
This page was built for software: TAXYS
