Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Combining UML with the B Formal Method for the Specification of Database Applications
[FLM99] Combining UML with the B Formal Method for the Specification of Database Applications
Rapport Scientifique : Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-87)
motcle:
| @techreport { | |||
| FLM99, | |||
| title | = | "{Combining UML with the B Formal Method for the Specification of Database Applications}", | |
| author | = | "P. Facon and R. Laleau and A. Mammar", | |
| number | = | "{CEDRIC-99-87}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-1999}, | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |