Biblio
Found 3 results
"From Scripts to Specifications: the Evolution of a Flight Software Testing Effort",
ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, pp. 129–138, 05/2010.
Abstract
"Model Checking Software Tackling Large Verification Problems with the Swarm Tool",
SPIN Workshop on Model Checking of Software (SPIN), vol. 5156, Los Angeles, CA, Springer Berlin Heidelberg, pp. 134 - 143, 08/2008.
Abstract
"Automated Testing of Planning Models",
Workshop on Model Checking and Artificial Intelligence (MoChArt), Patras, Greece, 07/2008.
Abstract
Facebook
LinkedIn