共 50 条
- [41] Operating system structure model for real-time systems SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 120 - 124
- [46] Model-Based Design of Real-Time Systems 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : XVI - XVI
- [47] Model-checking real-time concurrent systems 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 439 - 439
- [48] Model-Based Implementation of Real-Time Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 332 - 345
- [49] Towards a workflow model of real-time cooperative systems FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 452 - 470