共 50 条
- [1] UML extensions for real-time control systems [J]. 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5932 - 5938
- [2] Evaluating UML extensions for modeling real-time systems [J]. PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 271 - 278
- [3] Formal verification of UML statecharts with real-time extensions [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 218 - 232
- [4] UML extensions for modeling real-time and embedded systems [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 109 - 114
- [6] The emerging real-time UML standard [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2002, 17 (02): : 67 - 76
- [7] A semantic model of real-time UML [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 573 - 577
- [8] Multiform time in UML for real-time embedded applications [J]. 13TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2007, : 232 - +
- [9] Multiprocessor extensions to real-time calculus [J]. REAL-TIME SYSTEMS, 2011, 47 (06) : 562 - 617