共 50 条
- [41] Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model 2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 275 - 280
- [42] Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 619 - 625
- [44] Smart on-board diagnostic decision trees for quantitative aviation equipment and safety procedures validation CYBER SECURITY, SITUATION MANAGEMENT, AND IMPACT ASSESSMENT II; AND VISUAL ANALYTICS FOR HOMELAND DEFENSE AND SECURITY II, 2010, 7709
- [45] On Operational Diagnosis for Ground Stations: A Model-Based Approach with Behaviour Trees SPACE OPERATIONS, SPACEOPS 2023, 2025, : 235 - 251
- [47] Model-based diagnosis techniques for Internet delay diagnosis with dynamic routing Applied Intelligence, 2014, 41 : 167 - 183
- [49] Dynamic model-based clustering for spatio-temporal data Statistics and Computing, 2018, 28 : 359 - 374