Formal Verification of Information Flow Secure Systems with IFlow

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2012-05

Klassifikation
Informatik
Schlagwort
Modellgetriebene Entwicklung
Informationsfluss
Verifikation

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2012
Beteiligte Personen und Organisationen
Fischer, Peter
Katkalov, Kuzman
Stenzel, Kurt
Reif, Wolfgang

URN
urn:nbn:de:bvb:384-opus4-12829
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
27.03.20320300, 07:02 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Fischer, Peter
  • Katkalov, Kuzman
  • Stenzel, Kurt
  • Reif, Wolfgang
  • Universität Augsburg

Entstanden

  • 2012

Ähnliche Objekte (12)