 | 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 | | Luc Léonard,
Guy Leduc:
A Formal Definition of Time in LOTOS.
Formal Asp. Comput. 10(3): 248-266 (1998) |
| 1997 |
|---|
| 4 | | 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-Mode Transport Service: The Enhanced QoS.
HPN 1992: 235-252 |
Data released under the ODC-BY 1.0 license — See also our legal information page