共 50 条
- [23] A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 133 - 141
- [24] A framework for model-based design of parallel experiments in dynamic systems 16TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING AND 9TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING, 2006, 21 : 249 - 254
- [25] Reconfigurable Communication Middleware for FlexRay-based Distributed Embedded Systems 2015 IEEE 21ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, 2015, : 159 - 166
- [26] Model-based simulation of legal policies: framework, tool support, and validation SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 851 - 883
- [28] Framework for Fusion of Data- and Model-Based Approaches for Ultrasound Simulation MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2018, PT IV, 2018, 11073 : 332 - 339
- [29] Model-based simulation of legal policies: framework, tool support, and validation Software & Systems Modeling, 2018, 17 : 851 - 883
- [30] Model-based Simulation at Runtime for Self-adaptive Systems 2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC), 2016, : 364 - 373