Formale Spezifikation und Verifikation von sicherheitskritischen Anlagen in der Bahntechnik mit SDL und MSC's
Conference, Formale Techniken fur die Eisenbahnsicherung ; 1999
2000-01-01
16 pages
Also known as Forms '99
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formale Verifikation von Spezifikations-Modellen
Tema Archive | 2001
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|Spezifikation und Verifikation von sicheren Softwaresystemen
IuD Bahn | 1995
|Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Automotive engineering | 2002
|