Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Social processes and proofs of theorems and programs
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Art of Software Testing
Evaluation of Policy Simulation Models: A Conceptual Approach and Case Study
Evaluation of Policy Simulation Models: A Conceptual Approach and Case Study
Validation of simulation models
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Validation criteria for computer system simulations
ANSS '75 Proceedings of the 3rd symposium on Simulation of computer systems
Design of SEMA: A software system for computer-aided modelling and simulation of sequential machines
WSC '80 Proceedings of the 12th conference on Winter simulation
Some considerations for improving federal modeling
WSC '78 Proceedings of the 10th conference on Winter simulation - Volume 1
A formal program model for discrete event simulation and its use in the verification and validation of system models and implementations.
ACM SIGMETRICS Performance Evaluation Review
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
Validation, verification, and testing techniques throughout the life cycle of a simulation study
WSC '94 Proceedings of the 26th conference on Winter simulation
Principles and techniques of simulation validation, verification, and testing
WSC '95 Proceedings of the 27th conference on Winter simulation
Service quality in the management of simulation projects
WSC '95 Proceedings of the 27th conference on Winter simulation
An expository on verification and validation of simulation models
WSC '85 Proceedings of the 17th 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
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
Multifaceted, multiparadigm modeling perspectives: tools for the 90's
WSC '86 Proceedings of the 18th conference on Winter simulation
Quality assurance in cognizant simulative design
WSC '86 Proceedings of the 18th 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
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Foundations for an information technology
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Impact of general systems orientation: Present and future
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
A tutorial on verification and validation of simulation models
WSC '84 Proceedings of the 16th conference on Winter simulation
Performance analysis of access media protocols in local networks
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
Verification and validation: verification and validation of simulation models
Proceedings of the 35th conference on Winter simulation: driving innovation
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
ACM SIGSIM Simulation Digest
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
A tutorial on verification and validation of simulation models (1984)
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Lessons learned about developing acceptable acceptability criteria
Proceedings of the 2008 Summer Computer Simulation Conference
| Hi-index | 0.00 |