Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Refinement of EB3 Process Patterns into B Specifications
[GFL07] Refinement of EB3 Process Patterns into B Specifications
Conférence Internationale avec comité de lecture : B2007, Besançon, France, January 2007, pp.201-215, Series LNCS 4355,
motcle:
| @inproceedings { | |||
| GFL07, | |||
| title | = | "{Refinement of EB3 Process Patterns into B Specifications}", | |
| author | = | " F. Gervais and M. Frappier and R. Laleau ", | |
| booktitle | = | "{B2007, Besançon, France}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNCS 4355", | |
| pages | = | "201-215", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |