Hochschulschrift
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832519728
- Maße
-
24 cm
- Umfang
-
XIV, 290 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Augsburg, Univ., Diss., 2008
- Schlagwort
-
Java Card
Sicherheitsprotokoll
Korrektheit
Verfeinerung
Verifikation
Formale Methode
Handy
Java
Sicherheitsprotokoll
Verfeinerung
Verifikation
Formale Methode
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:37 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Grandy, Holger
- Logos-Verl.
Entstanden
- 2008
Ähnliche Objekte (12)
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
D-modules: local formal convolution of elementary formal meromorphic connections
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Ein Kalkül für die formale Schaltungssynthese
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formal software development using generic development steps
Formal synthesis of safety controller code for distributed controllers
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
D-modules: local formal convolution of elementary formal meromorphic connections
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Ein Kalkül für die formale Schaltungssynthese
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formal software development using generic development steps
Formal synthesis of safety controller code for distributed controllers
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
D-modules: local formal convolution of elementary formal meromorphic connections
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Ein Kalkül für die formale Schaltungssynthese
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formal software development using generic development steps
Formal synthesis of safety controller code for distributed controllers