Hochschulschrift
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832519728
- Dimensions
-
24 cm
- Extent
-
XIV, 290 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Augsburg, Univ., Diss., 2008
- Keyword
-
Java Card
Sicherheitsprotokoll
Korrektheit
Verfeinerung
Verifikation
Formale Methode
Handy
Java
Sicherheitsprotokoll
Verfeinerung
Verifikation
Formale Methode
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:23 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Grandy, Holger
- Logos-Verl.
Time of origin
- 2008
Other Objects (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
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formal software development using generic development steps
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
An integrated formal task specification method for smart environments
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
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formal software development using generic development steps
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
An integrated formal task specification method for smart environments
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
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formal software development using generic development steps
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen