The following pages link to Rabbit (Q14057):
Displaying 23 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems. (Q2565500) (← links)
- (Q2763979) (← links)
- An Introduction to Practical Formal Methods Using Temporal Logic (Q2996923) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Improvements for the Symbolic Verification of Timed Automata (Q3614852) (← links)
- Improved BDD-Based Discrete Analysis of Timed Systems (Q4647854) (← links)
- (Q4787215) (← links)
- (Q4813203) (← links)
- (Q4813204) (← links)
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Q4821979) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395106) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464747) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717496) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899054) (← links)
- Computer Aided Verification (Q5900676) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900954) (← links)
