Pages that link to "Item:Q844238"
From MaRDI portal
The following pages link to Formal verification of real-time systems with preemptive scheduling (Q844238):
Displaying 5 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
