Operational Safety Critical Software Methods in Railways

G. Guiho, F. Mejia. Operational Safety Critical Software Methods in Railways. In IFIP Congress (1). pages 262-269, 1994.

Abstract

Abstract is missing.