The following pages link to VINAS-P (Q14122):
Displaying 10 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)
- Synthesis of Timing Parameters Satisfying Safety Properties (Q3172862) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- (Q4804897) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- (Q5295510) (← links)
- Automated Technology for Verification and Analysis (Q5394178) (← links)
- Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction (Q5742245) (← links)