| |
| | [No title] (Site not responding. Last check: 2007-11-07) |
 | | In B parlance, basic models are provided for simple circuits (logical gates but also transistors) in order to be reusable when implementing the targeted circuit. |
 | | Boulanger, Véronique Delebarre et Stéphane Natkin}, TITLE = {Validation des Spécifications du métro automatique METEOR basée sur un modèle formel}, INSTITUTION = {Laboratoire CNAM-CEDRIC}, YEAR = {1998}, OPTKEY = {}, OPTTYPE = {}, OPTNUMBER = {98-11}, OPTADDRESS = {}, MONTH = {Octobre}, OPTNOTE = {}, OPTANNOTE = {} } @ARTICLE{RTS, AUTHOR = {Jean-Louis. |
 | | Boulanger, V. Delebarre, S. Natkin}, TITLE = {Validation de Spécification basée sur un modèle formel: Application à un système de transport ferroviaire}, INSTITUTION = {Laboratoire CNAM-CEDRIC}, YEAR = {1997}, OPTKEY = {}, OPTTYPE = {}, NUMBER = {97-17}, OPTADDRESS = {}, MONTH = {Décembre}, OPTNOTE = {}, OPTANNOTE = {} } @TECHREPORT{CEDRIC9718, AUTHOR = {JL. |
| www.hds.utc.fr /~boulange/mybiblio-bib.html (1322 words) |
|