共 50 条
[44]
Rea: Workflows for Cyber-Physical Systems
[J].
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013,
2015, 8606
:479-506
[46]
Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems
[J].
PROCEEDINGS OF THE 2018 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL),
2018,
[49]
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TOOLS AND TRENDS, ISOLA 2020, PT IV,
2021, 12479
:54-71