论文信息 - Verification, Validation, Approximate Morphisms: Living With Error - 字舞流文

Verification, Validation, Approximate Morphisms: Living With Error

Bernard P. Zeigler | Alexandre Muzy | Ernesto Kofman | B. Zeigler | A. Muzy | E. Kofman

[1] Laurent Capocchi,et al. System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation , 2016, Simul..

[2] Tag Gon Kim,et al. Multi-fidelity modeling & simulation methodology for simulation speed up , 2014, SIGSIM PADS '14.

[3] Levent Yilmaz,et al. Dynamic Model Updating in Simulation with Multimodels: A Taxonomy and a Generic Agent-Based Architecture , 2004 .

[4] Hans Vangheluwe,et al. An observer-based approach to modeling error identification , 1998 .

[5] Mario Dal Cin,et al. Modeling fault-tolerant system behavior , 1998 .

[6] Osman Balci,et al. Principles of simulation model validation, verification, and testing , 1997 .

[7] Bernard P. Zeigler,et al. DEVS representation and aggregation of spatially distributed systems: speed-versus-error tradeoffs , 1996 .

[8] T. H. Westerdalem. An automaton decomposition for learning system environments , 1988 .