Object Code Verification for Safety-Critical Railway Control Systems |
Jan Peleska, A. E. Haxthausen
|
| Type | Conference paper [With referee] |
| Conference | Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig, |
| Editors | E. Schnieder and G. Tarnai |
| Year | 2007 Month January pp. 184-199 |
| ISBN / ISSN | 13:978-3-937655-09-3 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |