17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

5.6 Sicherheits-Nachweisverfahren<br />

AT II<br />

Formale Softwareentwicklung<br />

Informelle<br />

Beschreibung<br />

Formale<br />

Systembeschreibung<br />

Formale<br />

Eigenschaften<br />

Formale Beschreibung<br />

der Implementierung<br />

Korrektheitsnachweise<br />

Physikalisch-technische<br />

Realisierung<br />

© 2013 IAS, Universität Stuttgart 434

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!