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