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.
British Library Online Contents | 1996
Formale Verifikation von Spezifikations-Modellen
Tema Archiv | 2001
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Kraftfahrwesen | 2009
|Spezifikation und Verifikation von sicheren Softwaresystemen
IuD Bahn | 1995
|