共 50 条
- [42] Software design and implementation using the real-time object-oriented modeling language [J]. 1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 286 - 289
- [43] Formal verification of real-time embedded software in an object-oriented application framework [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (06): : 417 - 434
- [44] AN EFFICIENT OBJECT-ORIENTED VARIATION OF THE STATECHARTS FORMALISM FOR DISTRIBUTED REAL-TIME SYSTEMS [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 335 - 344
- [45] Holistic object-oriented modelling of distributed automotive real-time control applications [J]. 2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, : 85 - 92
- [47] Quantitative evaluation of distributed object-oriented programming environments for real-time applications [J]. 2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, : 133 - 138
- [48] Distributed concurrent object-oriented software [J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 83 - 95
- [49] LANGUAGE ASPECTS OF ENVISAGER - AN OBJECT-ORIENTED ENVIRONMENT FOR THE SPECIFICATION OF REAL-TIME SYSTEMS [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 19 - 37
- [50] A Next Generation Object-Oriented Environment for Real-Time Database Application Development [J]. 2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, : 1224 - 1232