The following pages link to (Q4473739):
Displaying 8 items.
- Mode change protocols for real-time systems: a survey and a new proposal (Q704778) (← links)
- Time variant dynamic models in diagnosing of real-time computer systems (Q895302) (← links)
- Rigorous implementation of real-time systems -- from theory to application (Q2843865) (← links)
- Time is not enough: dealing with behavior in real-time systems (Q2917204) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- OOPM/RT (Q4575341) (← links)
- (Q4679539) (← links)
- Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661) (← links)
