共 50 条
[44]
How to Relate Models to Reality? An Epistemological Framework for the Validation and Verification of Computational Models
[J].
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION,
2018, 21 (03)
[46]
Combining simulation and formal verification for integrated circuit design validation
[J].
WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 4,
2005,
:92-97
[48]
Computer Modeling and Simulation: Increasing Reliability by Disentangling Verification and Validation
[J].
Minds and Machines,
2019, 29
:169-186