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