共 50 条
- [1] A semantics for UML-RT using π-calculus [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
- [2] Consistent design of embedded real-time systems with UML-RT [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 31 - 40
- [3] A software process for Modeling complex systems with UML-RT [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 401 - +
- [4] Performace-oriented modeling for UML-RT based system design [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 193 - 199
- [5] A design approach for GALS based systems-on-chip [J]. 2004: 7TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED CIRCUITS TECHNOLOGY, VOLS 1- 3, PROCEEDINGS, 2004, : 1368 - 1371
- [6] Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems [J]. 2017 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2017, : 12 - 18
- [7] Interface-based design [J]. ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS, 2005, 195 : 83 - 104
- [9] Model Checking of UML-RT Models Using Lazy Composition [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 304 - 319
- [10] Verifying UML-RT Protocol Conformance Using Model Checking [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 410 - +