- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2014
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2015
- Creator
-
Gesell, Manuel
- Contributor
-
Schneider, Klaus
- URN
-
urn:nbn:de:hbz:386-kluedo-39734
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 AM CEST
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
- Gesell, Manuel
- Schneider, Klaus
- Technische Universität Kaiserslautern
Time of origin
- 2015
Other Objects (12)
Verification of Plastic Interactive Systems
Interactive Verification of Statecharts
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive verification of medical guidelines
Interactive reputation systems
Induction-based Verification of Synchronous and Hybrid Programs
Synchronous stream runtime verification with uncertainties and assumptions
Interactive verification of UML state machines
A verification plan for systematic verification of mechatronic systems
Compiler verification in the context of pervasive system verification
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Verification of Plastic Interactive Systems
Interactive Verification of Statecharts
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive verification of medical guidelines
Interactive reputation systems
Induction-based Verification of Synchronous and Hybrid Programs
Synchronous stream runtime verification with uncertainties and assumptions
Interactive verification of UML state machines
A verification plan for systematic verification of mechatronic systems
Compiler verification in the context of pervasive system verification
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Verification of Plastic Interactive Systems
Interactive Verification of Statecharts
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive verification of medical guidelines
Interactive reputation systems
Induction-based Verification of Synchronous and Hybrid Programs
Synchronous stream runtime verification with uncertainties and assumptions
Interactive verification of UML state machines
A verification plan for systematic verification of mechatronic systems
Compiler verification in the context of pervasive system verification
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings