scientific article; zbMATH DE number 1304998

zbMATH Open0933.94045MaRDI QIDQ4251920FDOQ4251920

Authors: Eugene Asarin, Oded Maler, Amir Pnueli 

Publication date: 23 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• What good are digital clocks?
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• scientific article; zbMATH DE number 2080039
• Formal Modeling and Analysis of Timed Systems

zbMATH Keywords

timed automatadigital circuitreal-valued delays

Mathematics Subject Classification ID

Cited In (22)

• A survey of timed automata for the development of real-time systems
• Tweaking the odds in probabilistic timed automata
• Robust safety of timed automata
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• A note on the verification of automata specifications of probabilistic real-time systems
• Shrinking timed automata
• Improvements for the Symbolic Verification of Timed Automata
• Weak bisimulation for probabilistic timed automata
• Performance analysis of probabilistic timed automata using digital clocks
• Formal Modeling and Analysis of Timed Systems
• Abstract State Machines 2004. Advances in Theory and Practice
• Timed CSP = closed timed automata
• Timed Automata Can Always Be Made Implementable
• Title not available (Why is that?)
• Model Checking Real-Time Systems
• Model checking for probabilistic timed automata
• Parameter synthesis for hierarchical concurrent real-time systems
• Entropy of regular timed languages
• Thin and thick timed regular languages
• Specifications for decidable hybrid games
• Verification of asynchronous circuits using timed automata
• Temporal Robustness of Stochastic Signals

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 Q4251920)