共 50 条
- [1] A Methodology for Model-based Development and Safety Analysis of Transport Systems ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 91 - 101
- [2] Model-Based Availability Analysis for Automated Production Systems: A Case Study MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 47 - 56
- [4] A Model-Based Reverse System Engineering Methodology for Analyzing Complex Biological Systems With a Case Study in Glycolysis IEEE Open Journal of Systems Engineering, 2024, 2 : 119 - 134
- [7] Model-based verification of knowledge-based systems: A case study IEE Proceedings: Software, 2000, 147 (05): : 163 - 168
- [8] Model-based training methodology in Logistics Information Systems SIMULATION IN INDUSTRY 2001, 2001, : 424 - 426
- [9] A model-based evaluation methodology for Smart Energy Systems 2018 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2018), 2018, : 187 - 194
- [10] Model-based methodology for plant-wide analysis of wastewater treatment plants: industrial case study WATER PRACTICE AND TECHNOLOGY, 2015, 10 (03): : 517 - 526