Cited in
(18)- Requirements specifications checking of embedded real time software
- Proof assistance for real-time systems using an interactive theorem prover
- Static analysis of real-time component-based systems configurations
- Logic control and ``reactive systems: algorithmization and programming
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Past pushdown timed automata and safety verification.
- Dealing with zero-time transitions in axiom systems.
- Presburger liveness verification of discrete timed automata.
- Kronos
- ADORA
- RT-ASLAN
- Generalized discrete timed automata: Decidable approximations for safety verification.
- scientific article; zbMATH DE number 1670769 (Why is no real title available?)
- scientific article; zbMATH DE number 1708016 (Why is no real title available?)
- scientific article; zbMATH DE number 1689043 (Why is no real title available?)
- scientific article; zbMATH DE number 1796157 (Why is no real title available?)
- scientific article; zbMATH DE number 1798172 (Why is no real title available?)
This page was built for software: ASTRAL
