Experience on the Use of a Formal Method in a Railway Company

Saved in:
Bibliographic Details
Published inIFAC Proceedings Volumes Vol. 33; no. 9; pp. 193 - 197
Main Authors Burdy, Lilian, Meynadier, Jean-marc
Format Journal Article
LanguageEnglish
Published 01.06.2000
Online AccessGet full text

Cover

More Information
ISSN:1474-6670
DOI:10.1016/S1474-6670(17)38145-4