Pages that link to "Item:Q1944185"
From MaRDI portal
The following pages link to Some results on parametric temporal logic (Q1944185):
Displaying 4 items.
- Parametric metric interval temporal logic (Q483304) (← links)
- Time-budgeting: a component based development methodology for real-time embedded systems (Q736795) (← links)
- Parameter Synthesis for Timed Kripke Structures (Q2934895) (← links)
- Temporal Assertions with Parametrized Propositions (Q3569200) (← links)