ISSE

Search

Integrated Formal Methods for Safety Analysis of Train Systems

W. Reif, F. Ortmeier, A. Thums, G. Schellhorn

Integrated Formal Methods for Safety Analysis of Train Systems

published 2004 Proceedings of the 18th IFIP World Computer Congress, TC Building the Information Society. Kluwer 2004, ISBN 1-4020-8156-1


Downloads: