Formal Verification of Information Flow Secure Systems with IFlow

zu Verbundenen Objekten

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: 25.03.2025, 13:54 MEZ

Datenpartner

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

Original beim Datenpartner anzeigen

Beteiligte

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

Entstanden

2012

Ähnliche Objekte (12)

Korrektheit von Spezifikationen und generischen Moduln

Hochschulschrift

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Hochschulschrift

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

Plakat | Veranstaltungsplakat

1. Metallgestalter Symposium

Bilder

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Korrektheit von Spezifikationen und generischen Moduln

Hochschulschrift

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Hochschulschrift

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

Plakat | Veranstaltungsplakat

1. Metallgestalter Symposium

Bilder

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Korrektheit von Spezifikationen und generischen Moduln

Hochschulschrift

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Hochschulschrift

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

Plakat | Veranstaltungsplakat

1. Metallgestalter Symposium

Bilder

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Personenakten

Fischer, Peter

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Formal Verification of Information Flow Secure Systems with IFlow

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

Korrektheit von Spezifikationen und generischen Moduln

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

1. Metallgestalter Symposium

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Korrektheit von Spezifikationen und generischen Moduln

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

1. Metallgestalter Symposium

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Korrektheit von Spezifikationen und generischen Moduln

Compositional Concurrent Program Verification with RGITL

Interactive Verification of Concurrent Systems using Symbolic Execution

Laserspektroskopische Charakterisierung dünner organischer Aufdampfschichten am Beispiel von Coronen und Perylen

1. Metallgestalter Symposium

Verein für Leibesübungen (VfL) Wolfsburg e. V.: Peter Fischer

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Fischer, Peter

Verbundene Objekte

Passwort zurücksetzen