| Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler |
| Contributors |
| Theory / Section I： |
| DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1： |
| System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiáChapter 2： |
| A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3： |
| Continuous System Simulation and Control / Ernesto Kofman ; François E. Cellier ; Gustavo MigoniChapter 4： |
| Methodology and Tools / Section II： |
| Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5： |
| Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6： |
| Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7： |
| A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8： |
| Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9： |
| From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10： |
| Applications / Section III： |
| Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11： |
| Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12： |
| Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13： |
| Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14： |
| Standardization / Section IV： |
| DEVS Standardization: Foundations and Trends / Khaldoon Al-Zoubi ; Olivier Dalle ; Saurabh Mittal ; José L. Risco MartÃn ; Hessam Sarjoughian ; Luc Touraille ; Mamadou K. TraoréChapter 15： |
| An Introduction to DEVS Standardization / Chapter 16： |
| Standardizing DEVS Model Representation / Chapter 17： |
| Standardizing DEVS Simulation Middleware / Chapter 18： |
| Index |
| Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler |
| Contributors |
| Theory / Section I： |
図書
ＥＢ
