The following pages link to Kronos (Q14010):
Displaying 44 items.
- Model Checking of Biological Systems (Q5300885) (← links)
- Model Checking Software (Q5308370) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308410) (← links)
- Computer Aided Verification (Q5312908) (← links)
- Validation of Stochastic Systems (Q5325838) (← links)
- Verification of Timed Automata via Satisfiability Checking (Q5392293) (← links)
- Partial Order Path Technique for Checking Parallel Timed Automata (Q5392301) (← links)
- Constructing Test Automata from Graphical Real-Time Requirements (Q5392302) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- (Q5422290) (← links)
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata (Q5423888) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464751) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464768) (← links)
- State space computation and analysis of Time Petri Nets (Q5476391) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479150) (← links)
- Automated Technology for Verification and Analysis (Q5491860) (← links)
- Modeling Bitcoin Contracts by Timed Automata (Q5500550) (← links)
- Verification and Performance Evaluation of Timed Game Strategies (Q5500558) (← links)
- The Power of Proofs: New Algorithms for Timed Automata Model Checking (Q5500559) (← links)
- (Q5503431) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
- Lectures on Concurrency and Petri Nets (Q5712294) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713513) (← links)
- FM 2005: Formal Methods (Q5716897) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717495) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717496) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717497) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717502) (← links)
- (Q5754538) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- Avoiding shared clocks in networks of timed automata (Q5891347) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897957) (← links)
- Computer Aided Verification (Q5900676) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900953) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900954) (← links)
- Analysis of timed systems using time-abstracting bisimulations (Q5929099) (← links)
- A formal design language for real-time systems with data (Q5931379) (← links)
- Testing timed automata (Q5940921) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- A light-weight framework for hardware verification (Q5953449) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
- Proving sequential function chart programs using timed automata (Q5958730) (← links)
