Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems |
Anne E. Haxthausen, Jan Peleska
|
| Type | Conference paper [With referee] |
| Conference | |
| Editors | Fortschritt-Berichte VDI |
| Year | 2000 Vol. 12 No. 436 pp. 263-271 |
| Publisher | VDI-Verlag |
| Address | |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |