- Language
-
Englisch
- Notes
-
Augsburg, Universität Augsburg, Diss., 2014
- Identifier
-
1077704569
Subject
Nebenläufigkeit; Algebraische Spezifikation; Programmverifikation; Temporale Logik; Hochschulschrift
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:56 PM CET
Other Objects (12)
Interactive Verification of Concurrent Systems using Symbolic Execution
Verifying a Stack with Hazard Pointers in Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Probabilistic Safety Analysis of Executable Models
Failure-Sensitive Specification: A formal method for finding failure modes
Object-oriented Software for Industrial Robots
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
Interactive Verification of Concurrent Systems using Symbolic Execution
Verifying a Stack with Hazard Pointers in Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Probabilistic Safety Analysis of Executable Models
Failure-Sensitive Specification: A formal method for finding failure modes
Object-oriented Software for Industrial Robots
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
Interactive Verification of Concurrent Systems using Symbolic Execution
Verifying a Stack with Hazard Pointers in Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Probabilistic Safety Analysis of Executable Models
Failure-Sensitive Specification: A formal method for finding failure modes
Object-oriented Software for Industrial Robots
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010