共 50 条
- [1] Object-oriented specification and design of embedded hard real-time systems [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
- [2] Adding real-time filters to object-oriented specification of time critical systems [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
- [3] An Object-Oriented Application Framework for the Development of Real-Time Systems [J]. OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, 2012, 7304 : 75 - 90
- [4] SESAG: an object-oriented application framework for real-time systems [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2005, 35 (10): : 899 - 921
- [5] Bunches for object-oriented, concurrent, and real-time specification [J]. FM'99-FORMAL METHODS, 1999, 1708 : 530 - 550
- [6] LANGUAGE ASPECTS OF ENVISAGER - AN OBJECT-ORIENTED ENVIRONMENT FOR THE SPECIFICATION OF REAL-TIME SYSTEMS [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 19 - 37
- [7] VERTAF: An object-oriented application framework for embedded real-time systems [J]. ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 322 - 329
- [10] A framework for real-time object-oriented database models [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 146 - 152