scientific article; zbMATH DE number 1693437
From MaRDI portal
Publication:2763979
zbMATH Open0977.68677MaRDI QIDQ2763979FDOQ2763979
Authors: D. Beyer 
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2021/20210318
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1852149
- Improved BDD-based discrete analysis of timed systems
- scientific article; zbMATH DE number 2104641
- scientific article; zbMATH DE number 7297846
- scientific article; zbMATH DE number 1953031
- Improvements for the Symbolic Verification of Timed Automata
- scientific article; zbMATH DE number 1670769
- The power of reachability testing for timed automata
- Bounded model checking for timed automata
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Cited In (9)
- Improving search order for reachability testing in timed automata
- Improvements for the Symbolic Verification of Timed Automata
- Performance analysis of probabilistic timed automata using digital clocks
- Improvement of a reachability analysis algorithm for real-time systems
- Title not available (Why is that?)
- Can decision diagrams overcome state space explosion in real-time verification?
- Title not available (Why is that?)
- Model checking for probabilistic timed automata
- A process algebraic framework for specification and validation of real-time 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 Q2763979)
