[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples
Bochot, Thomas, Virelizier, Pierre, Waeselynck, Helene, Wiels, VirginieYear:
2010
Language:
english
DOI:
10.1109/hase.2010.15
File:
PDF, 1.23 MB
english, 2010