Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar
VDI/VW-Gemeinschaftstagung
01.01.2016
8 pages
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Absicherung sicherheitskritischer Systeme - formale Verifikation
Kraftfahrwesen | 2009
|Europäisches Patentamt | 2019
|Europäisches Patentamt | 2020
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|