A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann. The Sacres design methodology for safety critical systems. Esprit project EP 20897: Sacres, November 1998.
@Misc{sacres-I2.B,
Author = {Benveniste, A. and Brix, H. and Damm, W. and Dupont, F. and Grazebrook, A. and Holberg, H. and Le Guernic, P. and Rowlands, J. and Rutten, E. and Sefton, E. and Winkelmann, K.},
Title = {The Sacres design methodology for safety critical systems},
BookTitle = {Esprit project EP 20897: Sacres},
Month = {November},
Year = {1998}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.