Search results for: Jean-Luc Richier
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 > STACS 85 > 267-278
Lecture Notes in Business Information Processing > Advanced Information Systems Engineering Workshops > First International Workshop on Information Systems Security Engineering (WISSE 2011) > 592-606
Formal Methods in System Design > 2011 > 38 > 3 > 223-262
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 1 > 29-41