The following pages link to Computer Aided Verification (Q5312930):
Displaying 4 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767) (← links)
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis (Q3648823) (← links)
- (Q4818742) (← links)