Albert Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, Eric Rutten, Paul Le Guernic, Thierry Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998.
[ Synchrony ]
Albert Benveniste http://www.irisa.fr/sigma2/benveniste/home.html
@InProceedings{Benveniste1998c,
Author = {Benveniste, Albert and Siegel, M. and Holenderski, L. and Winkelmann, Klaus and Sefton, E. and Rutten, Eric and Le Guernic, Paul and Gautier, Thierry},
Title = {Safety Critical Embedded Systems Design: the SACRES approach},
BookTitle = {Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school},
Address = {Lyngby, Denmark},
Month = {September},
Year = {1998}
}
Get EndNote Reference (.ref)