共 50 条
- [1] Automated Code Generation for DES Controllers Modeled as Finite State Machines [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2023, 2024, 14414 : 113 - 130
- [2] Automatic code generation mechanism based on extended finite state machines in multi-user interface CASE platform [J]. 2003, Beijing Institute of Technology (23):
- [3] A Code Generation Tool for Embedded Automotive Systems Based on Finite State Machines [J]. 2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1443 - +
- [4] Enhanced Code Generation from UML Composite State Machines [J]. PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 235 - 245
- [7] Functional test generation for finite state machines [J]. 2006 INTERNATIONAL BALTIC ELECTRONICS CONFERENCE, PROCEEDINGS, 2006, : 205 - 208
- [8] Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes [J]. COMPUTATIONAL SCIENCE - ICCS 2020, PT VII, 2020, 12143 : 593 - 607
- [9] Automatic Derivation of Finite-State Machines for Behavior Control [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1656 - 1659