Luc Léonard

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Guy Leduc, Olivier Bonaventure, Luc Léonard, Eckhart Koerner, Charles Pecheur
Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods Syst. Des. 14 (2) (1999)
Luc Léonard, Guy Leduc
A Formal Definition of Time in LOTOS. Formal Aspects Comput. 10 (3) (1998)
Luc Léonard, Guy Leduc
An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. Comput. Networks ISDN Syst. 29 (3) (1997)
Luc Léonard, Guy Leduc
An Enhanced Version of Timed LOTOS and its Application to a Case Study. FORTE (1993)
Guy Leduc, Luc Léonard
A timed LOTOS supporting a dense time domain and including new timed operators. FORTE (1992)
André A. S. Danthine, Yves Baguette, Guy Leduc, Luc Léonard
The OSI 95 Connection-Mode Transport Service: The Enhanced QoS. HPN (1992)