Hochschulschrift
Recurrence in Self-Stabilization: Theory, Verification, and Application
- Alternative title
-
Rekurrenz in Selbststabilisierung: Theorie, Verifikation und Anwendung
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Oldenburg, Universität Oldenburg, Dissertation, 2016
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Oldenburg
- (who)
-
BIS der Universität Oldenburg
- (when)
-
2016
- Creator
-
Jubran, Oday
- Contributor
- URN
-
urn:nbn:de:gbv:715-oops-30339
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 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
- Jubran, Oday
- Theel, Oliver
- Turau, Volker
- BIS der Universität Oldenburg
Time of origin
- 2016
Other Objects (12)
Self stabilization : 17.08.1998 - 21.08.1998
Self-Verification - Verification of Embedded Systems after Deployment
Program verification in synthetic domain theory
Process theory: semantics, specification and verification
Dynamics and efficiency in topological self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Theory of program structures : schemes, semantics, verification
Stabilization Columns for Embankment Support - Investigation, Verification and Further Development of Analytical Analyses
Scalable fault-containing self-stabilization in dynamic networks
Scalable fault-containing self-stabilization in dynamic networks
Verification and simulation of self-adaptive mechatronic systems
Self stabilization : 17.08.1998 - 21.08.1998
Self-Verification - Verification of Embedded Systems after Deployment
Program verification in synthetic domain theory
Process theory: semantics, specification and verification
Dynamics and efficiency in topological self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Theory of program structures : schemes, semantics, verification
Stabilization Columns for Embankment Support - Investigation, Verification and Further Development of Analytical Analyses
Scalable fault-containing self-stabilization in dynamic networks
Scalable fault-containing self-stabilization in dynamic networks
Verification and simulation of self-adaptive mechatronic systems
Self stabilization : 17.08.1998 - 21.08.1998
Self-Verification - Verification of Embedded Systems after Deployment
Program verification in synthetic domain theory
Process theory: semantics, specification and verification
Dynamics and efficiency in topological self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Synthesizing optimal bias in randomized self-stabilization
Theory of program structures : schemes, semantics, verification
Stabilization Columns for Embankment Support - Investigation, Verification and Further Development of Analytical Analyses
Scalable fault-containing self-stabilization in dynamic networks
Scalable fault-containing self-stabilization in dynamic networks