Hochschulschrift
Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Augsburg, Universität Augsburg, Diss., 2010
- Keyword
-
Beweis
Parallelverarbeitung
Programm
Eigenschaft
Algorithmus
Temporale Logik
Verifikation
Parallelverarbeitung
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2012
- Creator
- Contributor
-
Reif, Wolfgang
- URN
-
urn:nbn:de:bvb:384-opus4-19131
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 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
- Bäumler, Simon
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2012
Other Objects (12)
Photochemisch-katalytisch schaltbare Carbonsäuren
Untersuchungen von Lewis-Säure-bedingten Reaktionen α-chiraler [alpha-chiraler] Carbonylverbindungen
Die Adenokarzinome des Ösophagus
Semantic Plug & Play - Selbstbeschreibende Hardware für modulare Robotersysteme
Territorialsachen in Scheinfeld
Constraint-based specification, planning and control for mobile manipulators in dynamic environments
RealCaPP – Real-time capable plug & produce for distributed robot-based automation
Machine learning for carbon fiber reinforced polymer production
SensorClouds - A framework for real-time processing of multi-modal sensor data for human-robot-collaboration
Robot-based component testing on software-defined test benches
Caching, crashing & concurrency - verification under adverse conditions
PaRTs: automatische Programmierung in der robotergestützten Fertigung
Photochemisch-katalytisch schaltbare Carbonsäuren
Untersuchungen von Lewis-Säure-bedingten Reaktionen α-chiraler [alpha-chiraler] Carbonylverbindungen
Die Adenokarzinome des Ösophagus
Semantic Plug & Play - Selbstbeschreibende Hardware für modulare Robotersysteme
Territorialsachen in Scheinfeld
Constraint-based specification, planning and control for mobile manipulators in dynamic environments
RealCaPP – Real-time capable plug & produce for distributed robot-based automation
Machine learning for carbon fiber reinforced polymer production
SensorClouds - A framework for real-time processing of multi-modal sensor data for human-robot-collaboration
Robot-based component testing on software-defined test benches
Caching, crashing & concurrency - verification under adverse conditions
PaRTs: automatische Programmierung in der robotergestützten Fertigung
Photochemisch-katalytisch schaltbare Carbonsäuren
Untersuchungen von Lewis-Säure-bedingten Reaktionen α-chiraler [alpha-chiraler] Carbonylverbindungen
Die Adenokarzinome des Ösophagus
Semantic Plug & Play - Selbstbeschreibende Hardware für modulare Robotersysteme
Territorialsachen in Scheinfeld
Constraint-based specification, planning and control for mobile manipulators in dynamic environments
RealCaPP – Real-time capable plug & produce for distributed robot-based automation
Machine learning for carbon fiber reinforced polymer production
SensorClouds - A framework for real-time processing of multi-modal sensor data for human-robot-collaboration
Robot-based component testing on software-defined test benches
Caching, crashing & concurrency - verification under adverse conditions