Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dep. für Informatik
Umfang: XI, 248 S. graph. Darst..
Weitere Angaben: Zugl.: Oldenburg, Univ., Diss., 2008
Schlagwörter: Hochschulschrift; Forschungsbericht Sicherheitskritisches System Formale Beschreibungstechnik Programmverifikation Verifikation Hoare-Logik Formale Spezifikationstechnik System Kritische Informationsinfrastruktur
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008,2
Notation: inf 001 ka
Sprache: Englisch