The following pages link to (Q4804897):
Displaying 6 items.
- Reconciling fault-tolerant distributed computing and systems-on-chip (Q424907) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- Reasoning about synchronization in GALS systems (Q2505629) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- Automated repair for timed systems (Q6108434) (← links)