CIC:FME01

S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, Mars 2000.

Référence BibTex

@InProceedings{CIC:FME01,
   Author = {Dupuy, S. and du Bousquet, L.},
   Title = {{Validation of UML models thanks to Z and Lustre}},
   BookTitle = {Formal Methods Europe},
   Address = {Berlin, Germany},
   Month = {March},
   Year = {2000}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)