The following pages link to (Q4948548):
Displaying 5 items.
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- Control of quantized systems based on discrete event models (Q4810909) (← links)
