Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Benveniste1998c

A. Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, E. 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.

Keyword

[ Synchrony ]

BibTex Reference

@InProceedings{Benveniste1998c,
   Author = {Benveniste, A. and Siegel, M. and Holenderski, L. and Winkelmann, Klaus and Sefton, E. and Rutten, E. 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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)