Pages that link to "Item:Q2842581"
From MaRDI portal
The following pages link to Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets (Q2842581):
Displaying 4 items.
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (Q765470) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets (Q2642306) (← links)
- Programming Languages and Systems (Q5464052) (← links)