[ACM Press the 3rd ACM Conference - London, United Kingdom (2015.06.10-2015.06.12)] Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation - SIGSIM-PADS '15 - Verification of Petri Nets based Simulation Models using Coverage Metrics
Rabe, Markus, Deininger, Maik, Scheidler, Anne AntoniaYear:
2015
Language:
english
DOI:
10.1145/2769458.2769460
File:
PDF, 841 KB
english, 2015