TAXYS
From MaRDI portal
Cited in
(33)- Kronos
- Rabbit
- Uppaal2k
- SIGNAL
- DREAM Tool
- Oris
- Giotto
- Viptos
- Sumatra
- Quartz
- LearnLib
- McAiT
- LinAIG
- TURTLE-P
- CoVer
- Tempo
- Schedulability of asynchronous real-time concurrent objects
- UPPAAL TIGA
- Synthia
- From synchronous programs to symbolic representations of hybrid systems
- Modular Schedulability Analysis of Concurrent Objects in Creol
- A survey of timed automata for the development of real-time systems
- ITS-Tools
- scientific article; zbMATH DE number 1951532 (Why is no real title available?)
- scientific article; zbMATH DE number 1956483 (Why is no real title available?)
- scientific article; zbMATH DE number 1979317 (Why is no real title available?)
- scientific article; zbMATH DE number 2017340 (Why is no real title available?)
- scientific article; zbMATH DE number 2080772 (Why is no real title available?)
- Compositional schedulability analysis of real-time actor-based systems
- Hybrid Systems: Computation and Control
- Verification of Giotto based embedded control systems
- Languages and Tools for Hybrid Systems Design
- Checking timed Büchi automata emptiness efficiently
This page was built for software: TAXYS
