共 18 条
- [1] System level voltage scheduling technique using UML-RT model [J]. 2007 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2007, : 500 - +
- [2] A semantics for UML-RT using π-calculus [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
- [4] Model Checking of UML-RT Models Using Lazy Composition [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 304 - 319
- [5] Verifying UML-RT Protocol Conformance Using Model Checking [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 410 - +
- [6] The Utilization Bound of Uniprocessor Preemptive Slack-Monotonic Scheduling is 50% [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 281 - 283
- [7] Enhancing critical software development using HOORA/HOOD and UML-RT [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 245 - 251
- [10] Interface-based design of systems-on-chip using UML-RT [J]. 4TH IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2004, : 39 - 44