![](/img/cover-not-exists.png)
[IEEE 2012 International Conference on Software and System Process (ICSSP) - Zurich, Switzerland (2012.06.2-2012.06.3)] 2012 International Conference on Software and System Process (ICSSP) - Simulation modeling of a large-scale formal verification process
Zhang, He, Klein, Gerwin, Staples, Mark, Andronick, June, Zhu, Liming, Kolanski, RafalYear:
2012
Language:
english
DOI:
10.1109/icssp.2012.6225979
File:
PDF, 732 KB
english, 2012