New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. |
|
| Type | Conference paper [With referee] |
| Conference | FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. |
| Year | 2003 Month April |
| Publisher | L'Harmattan Hongrie |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |