PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Keznikl, Jaroslav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated resolution of connector architectures using constraint solving (ARCAS method).

, , , und . Software and Systems Modeling, 13 (2): 843-872 (2014)

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

Weitere Publikationen von Autoren mit dem selben Namen

Performance Awareness in Component Systems: Vision Paper., , , , und . COMPSAC Workshops, Seite 514-519. IEEE Computer Society, (2012)Automated resolution of connector architectures using constraint solving (ARCAS method)., , , und . Software and Systems Modeling, 13 (2): 843-872 (2014)Gossiping Components for Cyber-Physical Systems., , , , , und . ECSA, Volume 8627 von Lecture Notes in Computer Science, Seite 250-266. Springer, (2014)Extensible Polyglot Programming Support in Existing Component Frameworks., , , und . EUROMICRO-SEAA, Seite 107-115. IEEE Computer Society, (2011)The Autonomic Cloud., , , , , , , , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Formalization of Invariant Patterns for the Invariant Refinement Method., , , , und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 602-618. Springer, (2015)Towards Dependable Emergent Ensembles of Components: The DEECo Component Model., , , und . WICSA/ECSA, Seite 249-252. IEEE, (2012)Towards Verification of Ensemble-Based Component Systems., , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2013)Engineering autonomous systems., , und . Panhellenic Conference on Informatics, Seite 128-135. ACM, (2013)Capturing performance assumptions using stochastic performance logic., , , , , und . ICPE, Seite 311-322. ACM, (2012)