ISSE

Search

Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods

W. Reif, G. Schellhorn, and A. Thums

Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods

published 2000 in: Transportation Systems 2000


Downloads: