[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 - Automated Testing of LTL Formula Generation by Prospec
Munoz, Cuauhtemoc, Roach, SteveYear:
2010
Language:
english
DOI:
10.1109/hase.2010.31
File:
PDF, 268 KB
english, 2010