Name Card

Full name Familienname, Vorname
Le Lann, G´erard
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Widder, Josef ; Le Lann, G´erard ; Schmid, Ulrich Failure Detection with Booting in Partially Synchronous SystemsKonferenzbeitrag Inproceedings 2005
2Biely, Martin ; Le Lann, G´erard ; Schmid, Ulrich Proof-Based System Engineering Using a Virtual System ModelKonferenzbeitrag Inproceedings 2005
3Le Lann, G´erard ; Schmid, Ulrich Proof-Based Systems Engineering in ASSERTKonferenzbeitrag Inproceedings2005
4Widder, Josef ; Le Lann, G´erard ; Schmid, Ulrich Perfect failure detection with booting in partially synchronous systemsBericht Report2003
5Le Lann, G´erard ; Schmid, Ulrich How to maximize computing systems coverageBericht Report2003
6Le Lann, G´erard ; Schmid, Ulrich How to implement a timer-free perfect failure detector in partially synchronous systems.Bericht Report2003