1999 |
6 | | Guy Leduc,
Olivier Bonaventure,
Luc Léonard,
E. Koerner,
Charles Pecheur:
Model-Based Verification of a Security Protocol for Conditional Access to Services.
Formal Methods in System Design 14(2): 171-191 (1999) |
1998 |
5 | EE | Luc Léonard,
Guy Leduc:
A Formal Definition of Time in LOTOS.
Formal Asp. Comput. 10(3): 248-266 (1998) |
1997 |
4 | EE | Luc Léonard,
Guy Leduc:
An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems.
Computer Networks and ISDN Systems 29(3): 271-292 (1997) |
1993 |
3 | | Luc Léonard,
Guy Leduc:
An Enhanced Version of Timed LOTOS and its Application to a Case Study.
FORTE 1993: 483-498 |
1992 |
2 | | Guy Leduc,
Luc Léonard:
A timed LOTOS supporting a dense time domain and including new timed operators.
FORTE 1992: 87-102 |
1 | | André A. S. Danthine,
Yves Baguette,
Guy Leduc,
Luc Léonard:
The OSI 95 Connection-MJode Transport Service: The Enhanced QoS.
HPN 1992: 235-252 |