- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Augsburg, Universität Augsburg, Dissertation, 2018
- Keyword
-
Organization
Testing
Softwareentwicklung
Künstliche Intelligenz
Selbstorganisation
Softwaretest
Modellbasiertes Testen
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2019
- Creator
- Contributor
- URN
-
urn:nbn:de:bvb:384-opus4-500457
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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.
Associated
- Eberhardinger, Benedikt
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2019
Other Objects (12)
Korrektheit von Spezifikationen und generischen Moduln
An approach for isolated testing of self-organization algorithms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Safety Optimization: A combination of fault tree analysis and optimization techniques
Korrektheit von Spezifikationen und generischen Moduln
An approach for isolated testing of self-organization algorithms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Safety Optimization: A combination of fault tree analysis and optimization techniques
Korrektheit von Spezifikationen und generischen Moduln
An approach for isolated testing of self-organization algorithms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language