KIT | KIT-Bibliothek | Impressum

Formale Modellierung + Spezifikation + Verifikation = Sicherheit?

Strack, Hermann



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Deutsch
Identifikator KITopen ID: 223092
Erscheinungsvermerk In: Datasafe. Hrsg.: T. Beth. Berlin 1991. S. 139-161.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page