Search results for: Laurent Mounier
Lecture Notes in Computer Science > CONCUR '91 > 23-42
Lecture Notes in Computer Science > Information Systems Security > Languages and Formal Methods > 41-55
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Theory and Test Derivation Algorithms > 147-163
Lecture Notes in Computer Science > Testing of Communicating Systems > Session VIII: Testing for Security > 341-356
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 55-69
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 239-258
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Efficient Model-Checking > 266-282
Lecture Notes in Computer Science