共 50 条
- [41] Checking behavioural consistency of UML-RT models through trace-based semantics [J]. ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 205 - +
- [42] MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models [J]. 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 621 - 625
- [43] Combining the description features of UML-RT and CSP+T specifications applied to a complete design of real-time systems [J]. ENFORMATIKA, VOL 7: IEC 2005 PROCEEDINGS, 2005, : 193 - 198
- [45] Combining the Description Features of UML-RT and CSP plus T Specifications Applied to a Complete Design of Real-Time Systems [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 7, 2005, 7 : 193 - 198
- [48] Interface-based Medicare Billing Software Design [J]. ELECTRONICS, MECHATRONICS AND AUTOMATION III, 2014, 666 : 333 - +
- [49] Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation [J]. 9TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2003, : 70 - 77
- [50] Interface-based rate analysis of embedded systems [J]. 27TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2006, : 25 - +