Hochschulschrift
Recurrence in Self-Stabilization: Theory, Verification, and Application
- Weitere Titel
-
Rekurrenz in Selbststabilisierung: Theorie, Verifikation und Anwendung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2016
- Urheber
-
Jubran, Oday
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:715-oops-30339
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Jubran, Oday
- Theel, Oliver
- Turau, Volker
- BIS der Universität Oldenburg
Entstanden
- 2016
Ähnliche Objekte (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