ISSE

Search

Formal Safety Analysis in Transportation Control

A. Thums, F. Ortmeier

Formal Safety Analysis in Transportation Control

published 2003 E. Schnieder, editor, International Workshop on Software Specification of Safety Relevant Transportation Control Tasks

Publisher: VDI Verlag GmbH