共 50 条
- [41] A semantic model of real-time UML FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 573 - 577
- [43] An algorithmic model for real-time computation SCCC 2003: XXIII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2003, : 31 - 38
- [45] How to model a real-time database? PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 321 - +
- [47] A MODEL PARAMETRIC REAL-TIME LOGIC ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1992, 14 (04): : 521 - 573
- [49] A multiframe model for real-time tasks 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1996, : 22 - 29