共 50 条
- [1] An integrated object-oriented and formal modeling environment [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (07): : 25 - &
- [2] Formal Modeling and Verification of Integrated Photonic Systems [J]. 2015 9TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2015, : 562 - 569
- [3] A Formal Modeling Framework for Anaerobic Digestion Systems [J]. 2015 17TH UKSIM-AMSS INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM), 2015, : 426 - 431
- [5] An Integrated Framework for the Formal Analysis of Critical Interactive Systems [J]. 2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 139 - 148
- [6] A formal mathematical framework for modeling probabilistic hybrid systems [J]. Annals of Mathematics and Artificial Intelligence, 2006, 47 : 397 - 425
- [8] vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 329 - 346
- [9] OWEFE-open modeling framework for integrated water, energy, food, and environment systems [J]. ENVIRONMENTAL RESEARCH: INFRASTRUCTURE AND SUSTAINABILITY, 2023, 3 (01):
- [10] A visualization framework for the modeling and formal analysis of high assurance systems [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 707 - 721