scientific article; zbMATH DE number 5228180
From MaRDI portal
Publication:5437180
zbMATH Open1146.68384MaRDI QIDQ5437180FDOQ5437180
Fabrice Chevalier, Patricia Bouyer
Publication date: 18 January 2008
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (15)
- A survey of timed automata for the development of real-time systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Robust safety of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Configurable verification of timed automata with discrete variables
- Corrections to “A Menagerie of Timed Automata”
- Title not available (Why is that?)
- An Introduction to Timed Automata
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines
- Model checking for probabilistic timed automata
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
- A unified model for real-time systems: symbolic techniques and implementation
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437180)
