PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Plasil, Frantisek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies.

, , , , , und . ACM Trans. Cyber Phys. Syst., 1 (3): 13:1-13:25 (2017)

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

Weitere Publikationen von Autoren mit dem selben Namen

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations., , , , , , und . Journal of Systems and Software, (2016)CoCoME in Fractal., , , , , , , , , und 1 andere Autor(en). CoCoME, Volume 5153 von Lecture Notes in Computer Science, Seite 357-387. Springer, (2007)Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems., , , , , und . ECSA, Volume 9278 von Lecture Notes in Computer Science, Seite 45-52. Springer, (2015)Design of ensemble-based component systems by invariant refinement., , , , , und . CBSE, Seite 91-100. ACM, (2013)SOFA/DCUP: architecture for component trading and dynamic updating., , und . CDS, Seite 43-51. IEEE Computer Society, (1998)SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model., , und . SERA, Seite 40-48. IEEE Computer Society, (2006)Runtime Support for Advanced Component Concepts., , , , , , und . SERA, Seite 337-345. IEEE Computer Society, (2007)Component composition errors and update atomicity: static analysis., und . Journal of Software Maintenance, 17 (5): 363-377 (2005)Specification and Generation of Environment for Model Checking of Software Components., und . Electron. Notes Theor. Comput. Sci., 176 (2): 143-154 (2007)Formal Verification of Annotated Textual Use-Cases., , , , und . Comput. J., 58 (7): 1495-1529 (2015)