PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dhama, Abhishek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Trustworthy software systems: a discussion of basic concepts and terminology.

, , , , , , , , , , , , , , , und . ACM SIGSOFT Software Engineering Notes, 31 (6): 1-18 (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Abhishek Himmatbhai Borad University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation., , und . Annual Simulation Symposium, Seite 183-192. IEEE Computer Society, (2008)Dependability Engineering of Silent Self-stabilizing Systems., , , , , und . SSS, Volume 5873 von Lecture Notes in Computer Science, Seite 238-253. Springer, (2009)Trustworthy software systems: a discussion of basic concepts and terminology., , , , , , , , , und 6 andere Autor(en). ACM SIGSOFT Software Engineering Notes, 31 (6): 1-18 (2006)Bounded Fairness for Probabilistic Distributed Algorithms., , , , , , , und . ACSD, Seite 89-97. IEEE Computer Society, (2011)Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps., , und . ICPADS (1), Seite 23-30. IEEE Computer Society, (2006)Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems., , , , , , , und . QEST, Seite 27-36. IEEE Computer Society, (2010)A compositional framework for designing self-stabilizing distributed algorithms.. Carl von Ossietzky University of Oldenburg, (2013)Towards Automatic Convergence Verification of Self-stabilizing Algorithms., , und . Self-Stabilizing Systems, Volume 3764 von Lecture Notes in Computer Science, Seite 198-213. Springer, (2005)Reliability and Availability Analysis of Self-stabilizing Systems., , und . SSS, Volume 4280 von Lecture Notes in Computer Science, Seite 244-261. Springer, (2006)A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms., und . SSS, Volume 6366 von Lecture Notes in Computer Science, Seite 80-95. Springer, (2010)