Search results for: Fabrice Bouquet
Lecture Notes in Computer Science > FME 2003: Formal Methods > Program Checking and Testing > 778-795
Lecture Notes in Computer Science > Towards a Service-Based Internet > Security, Privacy and Trust > 134-143
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 551-556
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 188-204
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 70-85
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Tool Papers > 285-288
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 225-239
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 94-108
Lecture Notes in Computer Science > Tests and Proofs > Abstraction > 167-182
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 434-453
Software Testing, Verification and Reliability > 24 > 7 > 499 - 531