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, Novembre 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}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.