共 50 条
- [41] Towards a mechanical verification of real-time reactive systems modeled in UML [J]. SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 245 - 254
- [42] UML methodology for smart transducer integration in real-time embedded systems [J]. 2005 IEEE Intelligent Vehicles Symposium Proceedings, 2005, : 688 - 693
- [43] Using UML in the development of OO real-time systems - part 2 [J]. ELECTRONIC ENGINEERING, 2001, 73 (890): : 39 - +
- [44] A UML-based design methodology for real-time and embedded systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 776 - 779
- [45] Requirements Analysis of Real-Time Systems by Rational-Rose UML [J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 324 - +
- [47] Evaluating real-time bus arrival information systems [J]. TRANSIT: BUS TRANSIT AND MAINTENANCE; RURAL; PARATRANSIT; TECHNOLOGY; CAPACITY AND QUALITY OF SERVICE: PUBLIC TRANSIT, 2000, (1731): : 81 - 87
- [48] A Workload Generator for Evaluating SMT Real-Time Systems [J]. PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2018, : 367 - 374
- [49] Multitask Real-Time Systems Modeling in SystemC [J]. 2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
- [50] Consistency verification in modeling of real-time systems [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142