PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vareková, Pavlína"

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 Vareková, Pavlína
Eine Person hinzufügen mit dem Namen Vareková, Pavlína
 

Weitere Publikationen von Autoren mit dem selben Namen

Component Substitutability via Equivalencies of Component-Interaction Automata., , und . Electron. Notes Theor. Comput. Sci., (2007)Component-interaction automata as a verification-oriented component-based system specification., , , und . ACM SIGSOFT Software Engineering Notes, (2006)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)Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems., , und . Electron. Notes Theor. Comput. Sci., (2010)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)Partial order reduction for state/event LTL with application to component-interaction automata., , , , , und . Sci. Comput. Program., 76 (10): 877-890 (2011)Component-Interaction Automata Approach (CoIn)., , , , , und . CoCoME, Volume 5153 von Lecture Notes in Computer Science, Seite 146-176. Springer, (2007)Model Checking of Control-User Component-Based Parametrised Systems., und . CBSE, Volume 5282 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2008)