- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Dagstuhl Reports, 5, 11, S. 127-150
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2015
- Event
-
Veröffentlichung
- (who)
-
Schloss Dagstuhl - LZI
- (when)
-
2015
- Creator
- DOI
-
10.4230/DagRep.5.11.127
- URN
-
urn:nbn:de:bvb:384-opus4-535863
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:33 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.
Associated
- Diaconescu, Ada
- Marsh, Stephen
- Pitt, Jeremy
- Reif, Wolfgang
- Steghöfer, Jan-Philipp
- Universität Augsburg
- Schloss Dagstuhl - LZI
Time of origin
- 2015
Other Objects (12)
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Korrektheit von Spezifikationen und generischen Moduln
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Model-Based Testing for Self-Organization Mechanisms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Design Time and Run Time Formal Safety Analysis using Executable Models
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Korrektheit von Spezifikationen und generischen Moduln
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Model-Based Testing for Self-Organization Mechanisms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Design Time and Run Time Formal Safety Analysis using Executable Models
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Korrektheit von Spezifikationen und generischen Moduln
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Model-Based Testing for Self-Organization Mechanisms
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems