Pages that link to "Item:Q3543301"
From MaRDI portal
The following pages link to Compositional Abstraction in Real-Time Model Checking (Q3543301):
Displaying 6 items.
- The axiomatization of override and update (Q975885) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
