- Weitere Titel
-
Formal Verification of Security and Correctness of Java Applications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Klassifikation
-
Informatik
- Schlagwort
-
Informatik
Formale Verifikation
Java
Refinement
Formale Methoden
Sicherheit
Softwaretechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2008
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-10229
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Grandy, Holger
- Universität Augsburg
Entstanden
- 2008
Ähnliche Objekte (12)
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
Formale Verifikation von MOS-Transistorschaltungen
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Korrektheit und Fertigmachen.
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Korrektheit des Simplex Verfahrens
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
Formale Verifikation von MOS-Transistorschaltungen
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Korrektheit und Fertigmachen.
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Korrektheit des Simplex Verfahrens
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
Formale Verifikation von MOS-Transistorschaltungen
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Korrektheit und Fertigmachen.
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung