共 50 条
- [41] A methodology for dynamic model abstraction TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1996, 13 (04): : 217 - 229
- [42] Model abstraction for formal verification DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 140 - 147
- [43] A summary of model abstraction techniques ENABLING TECHNOLOGY FOR SIMULATION SCIENCE, 1997, 3083 : 2 - 13
- [44] Characteristics of a New Abstraction Model ISCII 2009: 4TH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, PROCEEDINGS, 2009, : 129 - 134
- [45] The Deployment Model Abstraction Framework ENTERPRISE DESIGN, OPERATIONS, AND COMPUTING: EDOC 2022 WORKSHOPS, IDAMS 2022, SOEA4EE 2022, TEAR 2022, 2023, 466 : 319 - 325
- [46] Stuttering abstraction for model checking SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 311 - 320
- [47] Special issue: Model abstraction TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 1996, 13 (04): : U1 - U1
- [49] Assessing candidates for model abstraction ENABLING TECHNOLOGY FOR SIMULATION SCIENCE IV, 2000, 4026 : 180 - 189
- [50] ENTITY MODEL CLUSTERING - STRUCTURING A DATA MODEL BY ABSTRACTION COMPUTER JOURNAL, 1986, 29 (04): : 348 - 360