PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Basu, Ananda"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Statistical abstraction and model-checking of large heterogeneous systems.

, , , , und . STTT, 14 (1): 53-72 (2012)

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.

Keine Personen gefunden für den Autorennamen Basu, Ananda
Eine Person hinzufügen mit dem Namen Basu, Ananda
 

Weitere Publikationen von Autoren mit dem selben Namen

Systematic Correct Construction of Self-stabilizing Systems: A Case Study., , , und . SSS, Volume 6366 von Lecture Notes in Computer Science, Seite 4-18. Springer, (2010)Verification of an AFDX Infrastructure Using Simulations and Probabilities., , , , , und . RV, Volume 6418 von Lecture Notes in Computer Science, Seite 330-344. Springer, (2010)Rigorous System Design: The BIP Approach., , , , und . MEMICS, Volume 7119 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2011)Rigorous Component-Based System Design - (Invited Paper)., , , und . WRLA, Volume 7571 von Lecture Notes in Computer Science, Seite 1-9. Springer, (2012)Rigorous Component-Based System Design Using the BIP Framework., , , , , , und . IEEE Software, 28 (3): 41-48 (2011)Modeling Heterogeneous Real-time Components in BIP., , und . SEFM, Seite 3-12. IEEE Computer Society, (2006)Priority Scheduling of Distributed Systems Based on Model Checking., , , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 79-93. Springer, (2009)Distributed Semantics and Implementation for Systems with Interaction and Priority., , , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 116-133. Springer, (2008)Statistical abstraction and model-checking of large heterogeneous systems., , , , und . STTT, 14 (1): 53-72 (2012)Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks., , , , und . NCA, Seite 257-260. IEEE Computer Society, (2007)