共 50 条
- [31] Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 355 - 364
- [33] Decision-Making Model Based on Capability Factors for Embedded Systems COMMUNICATION AND NETWORKING, PT II, 2010, 120 : 123 - +
- [34] ENVIRONMENTAL DECISION SUPPORT SYSTEMS BASED ON MODELS AND MODEL-BASED REASONING ENVIRONMENTAL ENGINEERING AND MANAGEMENT JOURNAL, 2010, 9 (02): : 189 - 195
- [39] Model-Based Systems Engineering for Design and Automated Operation of Modern Waterway Systems 2014 8TH ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2014, : 309 - 316