Introduction to simulation and SLAM II (2nd ed.)
Introduction to simulation and SLAM II (2nd ed.)
Animating simulations using TESS
Computers and Industrial Engineering
An expository on verification and validation of simulation models
WSC '85 Proceedings of the 17th conference on Winter simulation
Use of seminar gaming to specify and validate simulation models
WSC '86 Proceedings of the 18th conference on Winter simulation
Simulation modeling with event graphs
Communications of the ACM
WSC '84 Proceedings of the 16th conference on Winter simulation
Structured Analysis and System Specification
Structured Analysis and System Specification
Steady-state simulation of queueing processes: survey of problems and solutions
ACM Computing Surveys (CSUR)
A survey of discrete event simulation and state-of-the-art discrete event languages
ACM SIGSIM Simulation Digest
Validation and verification of simulation models
WSC '92 Proceedings of the 24th conference on Winter simulation
Verification and validation of simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
Verifying and validating simulation models
WSC '96 Proceedings of the 28th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 30th conference on Winter simulation
Simulation model verification and validation
WSC '91 Proceedings of the 23rd conference on Winter simulation
A tutorial on validation and verification of simulation models
WSC '88 Proceedings of the 20th conference on Winter simulation
An overview of verification and validation of simulation models
WSC '87 Proceedings of the 19th conference on Winter simulation
Validation and verification of simulation models
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Proceedings of the 32nd conference on Winter simulation
Verification and validation: verification and validation of simulation models
Proceedings of the 35th conference on Winter simulation: driving innovation
Validation and verification of simulation models
WSC '04 Proceedings of the 36th conference on Winter simulation
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Building modeling tools that support verification, validation, and testing for the domain expert
WSC '05 Proceedings of the 37th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
The engineering of concurrent simulations of complex systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Validating UML simulation models with model-level unit tests
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Self-organisation for survival in complex computer architectures
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Verification and validation of simulation models
Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
Simulating upgrades of complex systems: The case of Free and Open Source Software
Information and Software Technology
| Hi-index | 0.00 |
The use of graphical models for model specification and in modelling is increasing rapidly. This paper discusses the use of these graphical models in model validation.