PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Zimmerova, Barbora"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Effective verification of systems with a dynamic number of components.

, , , und . SAVCBS, Seite 3-13. ACM, (2007)

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 Zimmerova, Barbora
Eine Person hinzufügen mit dem Namen Zimmerova, Barbora
 

Weitere Publikationen von Autoren mit dem selben Namen

Component-interaction automata as a verification-oriented component-based system specification., , , und . ACM SIGSOFT Software Engineering Notes, (2006)Component Substitutability via Equivalencies of Component-Interaction Automata., , und . Electron. Notes Theor. Comput. Sci., (2007)Preface., und . Electron. Notes Theor. Comput. Sci., 253 (1): 1-2 (2009)A Case Study in Parallel Verification of Component-Based Systems., , , , und . Electron. Notes Theor. Comput. Sci., 220 (2): 67-83 (2008)Subject-observer specification with component-interaction automata., und . SAVCBS, Seite 75-81. ACM, (2007)Formal verification of systems with an unlimited number of components., , , und . IET Software, 2 (6): 532-546 (2008)Effective verification of systems with a dynamic number of components., , , und . SAVCBS, Seite 3-13. ACM, (2007)Component-Interaction Automata Approach (CoIn)., , , , , und . CoCoME, Volume 5153 von Lecture Notes in Computer Science, Seite 146-176. Springer, (2007)Partial Order Reduction for State/Event LTL., , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2009)Component-interaction automata as a verification-oriented component-based system specification., , , und . SAVCBS@ESEC/FSE, Seite 4. ACM, (2005)