共 50 条
- [32] Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems SICS SOFTWARE-INTENSIVE CYBER-PHYSICAL SYSTEMS, 2021, 35 (3-4): : 201 - 236
- [34] Formal analysis of real-time systems with SAM FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 275 - 286
- [35] Real-time Feedback Control for Production, Maintenance, and Capacity PROCEEDINGS OF INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND SYSTEMS MANAGEMENT (IESM'2011): INNOVATIVE APPROACHES AND TECHNOLOGIES FOR NETWORKED MANUFACTURING ENTERPRISES MANAGEMENT, 2011, : 1464 - 1473