Pages that link to "Item:Q5897957"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897957):
Displaying 4 items.
- Geometric computations by broadcasting automata (Q256432) (← links)
- Verification of consensus algorithms using satisfiability solving (Q658669) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Using Bounded Model Checking to Verify Consensus Algorithms (Q3540251) (← links)