Pages that link to "Item:Q3400913"
From MaRDI portal
The following pages link to Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913):
Displaying 4 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- A menagerie of timed automata (Q5176174) (← links)
