[IEEE Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (1990.06.25-1990.06.28)] Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. - A formal approach to railway signalling
Cullyer, W.J., Wong, W.Year:
1990
DOI:
10.1109/CMPASS.1990.175406
File:
PDF, 436 KB
1990