Search results for: Cyrille Artho
Software Testing, Verification and Reliability > 30 > 7-8 > n/a - n/a
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Section 2: Regular Papers > 99-113
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Applied Formal Verification > 279-286
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 515-522
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods III > 297-308
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 150-164
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Verification and Validation > 90-101