共 50 条
- [42] Model abstraction and the simulation sandbox ENABLING TECHNOLOGIES FOR SIMULATION SCIENCE VI, 2002, 4716 : 211 - 217
- [43] Model checking for action abstraction VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 112 - 126
- [44] Abstraction and refinement in model checking FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 219 - 242
- [45] A methodology for dynamic model abstraction TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1996, 13 (04): : 217 - 229
- [46] Model abstraction for formal verification DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 140 - 147
- [47] A summary of model abstraction techniques ENABLING TECHNOLOGY FOR SIMULATION SCIENCE, 1997, 3083 : 2 - 13
- [48] Characteristics of a New Abstraction Model ISCII 2009: 4TH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, PROCEEDINGS, 2009, : 129 - 134
- [49] The Deployment Model Abstraction Framework ENTERPRISE DESIGN, OPERATIONS, AND COMPUTING: EDOC 2022 WORKSHOPS, IDAMS 2022, SOEA4EE 2022, TEAR 2022, 2023, 466 : 319 - 325
- [50] Stuttering abstraction for model checking SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 311 - 320