New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems.



TypeConference paper [With referee]
ConferenceFORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems.
Year2003    Month April
PublisherL'Harmattan Hongrie
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering