Citation:

Dipl.-Ing. Friedemann Bitsch: A WAY FOR APPLICABLE FORMAL SPECIFICATION OF SAFETY REQUIREMENTS BY TOOL-SUPPORT. FORMS 2003 - Symposium on Formal Methods for Railway Operation and Control Systems 2003, Budapest, 2003