Automated Verification for Train Control Systems |
| | Type | Conference paper [With referee] | | Conference | Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)), Braunschweig | | Year | 2004 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|