共 50 条
- [1] A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems [J]. UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013), 2013, : 374 - 379
- [2] Goal-oriented patterns for UML-Based modeling of embedded systems requirements [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 7 - +
- [3] UML-Based Modeling and multi-threaded simulation for hybrid dynamic systems [J]. PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 1207 - 1212
- [4] Supporting UML-based development of embedded systems by formal techniques [J]. Software & Systems Modeling, 2008, 7 : 131 - 155
- [5] Supporting UML-based development of embedded systems by formal techniques [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 131 - 155
- [6] A UML-based simulation platform for hybrid control systems [J]. PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2003, : 202 - 205
- [7] Formal verification and validation of embedded systems: the UML-based MADES approach [J]. Software & Systems Modeling, 2015, 14 : 343 - 363
- [8] Slicing UML-based Models of Real-time Embedded Systems [J]. 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 346 - 356
- [9] Functional verification for UML-based model driven design of embedded systems [J]. FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114
- [10] A UML-based design methodology for real-time and embedded systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 776 - 779