共 50 条
- [21] Refining mobile UML state machines ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 274 - 288
- [22] Interactive verification of UML state machines FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 434 - 448
- [23] Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines 2020 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2020), 2020,
- [24] Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 295 - 301
- [26] Automated Code Generation for DES Controllers Modeled as Finite State Machines FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2023, 2024, 14414 : 113 - 130
- [27] Automatic code generation from UML for data memory optimization in microcontrollers 2023 38TH CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS, DCIS, 2023,
- [28] Test cases generation from UML state diagrams IEE Proceedings: Software, 1999, 146 (04): : 187 - 192
- [29] From UML 2 Sequence Diagrams to State Machines by Graph Transformation JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
- [30] Design of Reconfigurable Logic Controllers from Hierarchical UML State Machines ICIEA: 2009 4TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-6, 2009, : 82 - +