TAXYS
From MaRDI portal
Software:14128
swMATH1389MaRDI QIDQ14128FDOQ14128
Author name not available (Why is that?)
Cited In (14)
- 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?)
- 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
- Title not available (Why is that?)
- 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
