共 50 条
- [31] Analysis of real-time control systems with time delays PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 3173 - 3178
- [34] A Survey on Network Calculus Tools for Network Infrastructure in Real-Time Systems IEEE ACCESS, 2020, 8 (08): : 223588 - 223605
- [36] Modeling and analysis of real-time and embedded systems SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
- [37] Formal analysis of real-time systems with SAM FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 275 - 286