Synonyms were used for:
Forms,
•
Workshop,
•
für
Search without synonyms:
title: Forms, Formale Techniken für die Eisenbahnsicherung, Workshop, 1999
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Formale Techniken fur die Eisenbahnsicherungstechnik
Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes
COMPOSE - Formale Technik zur Entwicklung von Leit-und Sicherungssystemen im Schienenverkehr
Anforderungsspezifikation für die Hp-Schnittstelle (Fallbeispiel zur FORMS 2000)
DIE METHODE,,B" Sichere Software fur Bahnanwendungen
Die Methode und Werkzeuge GRACE
Die Methode 'B' - sichere Software für Bahnanwendungen
Ein Weg zur Einsetzbarkeit Formaler Methoden fur Ingenieure im Eisenbahnwesen
Nutzung von UML und CASE Tools wie SDL fur Fuhrerstand MMI und telemetriebasierte Zugsicherung
Statemate-based Modeling and Verification of Railway Systems: Concepts and Application
Engineering of Computer-based Interlocking Functions
Von der Sicherheitsanalyse zur Sofwarezulassung