共 50 条
- [1] Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 284 - 299
- [2] Co-simulation of Cyber-Physical Systems using HLA 2017 IEEE 7TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE IEEE CCWC-2017, 2017,
- [3] CREST - A DSL for Reactive Cyber-Physical Systems SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR SYSTEMS ENGINEERING, SAM 2018, 2018, 11150 : 29 - 45
- [4] Repeatable Decentralized Simulations for Cyber-Physical Systems 2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019), 2019, : 240 - 247
- [6] SCENARIOS FOR CYBER-PHYSICAL SYSTEMS INTEGRATION IN CONSTRUCTION JOURNAL OF INFORMATION TECHNOLOGY IN CONSTRUCTION, 2013, 18 : 240 - 260
- [7] Value Co-Creation for Cyber-Physical Systems in Mining and Construction Industry AMCIS 2015 PROCEEDINGS, 2015,
- [9] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548