Rabbit

swMATH1317MaRDI QIDQ14057FDOQ14057

Author name not available (Why is that?)

Cited In (23)

• A survey of timed automata for the development of real-time systems
• Computer Aided Verification
• Theoretical Aspects of Computing – ICTAC 2005
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Zone-based verification of timed automata: extrapolations, simulations and what next?
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• An Introduction to Practical Formal Methods Using Temporal Logic
• Title not available (Why is that?)
• Improvements for the Symbolic Verification of Timed Automata
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Formal Modeling and Analysis of Timed Systems
• Performance analysis of probabilistic timed automata using digital clocks
• Model Checking Real-Time Systems
• Improved BDD-Based Discrete Analysis of Timed Systems
• Title not available (Why is that?)
• Model checking for probabilistic timed automata
• Title not available (Why is that?)
• A process algebraic framework for specification and validation of real-time systems
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

This page was built for software: Rabbit