[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems
Kim, Youngjoo, Kim, MoonzooYear:
2012
Language:
english
DOI:
10.1109/issre.2012.35
File:
PDF, 458 KB
english, 2012