Search the dblp DataBase
Luc Léonard :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Guy Leduc , Luc Léonard A timed LOTOS supporting a dense time domain and including new timed operators. [Citation Graph (0, 0)][DBLP ] FORTE, 1992, pp:87-102 [Conf ] Luc Léonard , Guy Leduc An Enhanced Version of Timed LOTOS and its Application to a Case Study. [Citation Graph (0, 0)][DBLP ] FORTE, 1993, pp:483-498 [Conf ] André A. S. Danthine , Yves Baguette , Guy Leduc , Luc Léonard The OSI 95 Connection-Mode Transport Service: The Enhanced QoS. [Citation Graph (0, 0)][DBLP ] HPN, 1992, pp:235-252 [Conf ] Luc Léonard , Guy Leduc An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:3, pp:271-292 [Journal ] Luc Léonard , Guy Leduc A Formal Definition of Time in LOTOS. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:3, pp:248-266 [Journal ] Guy Leduc , Olivier Bonaventure , Luc Léonard , E. Koerner , Charles Pecheur Model-Based Verification of a Security Protocol for Conditional Access to Services. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1999, v:14, n:2, pp:171-191 [Journal ] Search in 0.002secs, Finished in 0.002secs