( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Design of ensemble-based component systems by invariant refinement.

, , , , , и . CBSE, стр. 91-100. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jaroslav Mach

Jaroslav Suchomel

Jaroslav Chlup

Jaroslav Pleva

Jaroslav Rindoš

 

Другие публикации лиц с тем же именем

The Invariant Refinement Method., , , , , и . The ASCENS Approach, том 8998 из Lecture Notes in Computer Science, Springer, (2015)Towards Dependable Emergent Ensembles of Components: The DEECo Component Model., , , и . WICSA/ECSA, стр. 249-252. IEEE, (2012)DEECo: an ecosystem for cyber-physical systems., , , , , , и . ICSE Companion, стр. 610-611. ACM, (2014)Architecture Adaptation Based on Belief Inaccuracy Estimation., , , , и . WICSA, стр. 87-90. IEEE Computer Society, (2014)Extensible Polyglot Programming Support in Existing Component Frameworks., , , и . EUROMICRO-SEAA, стр. 107-115. IEEE Computer Society, (2011)Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations., , , , , , и . J. Syst. Softw., (2016)Performance Awareness in Component Systems: Vision Paper., , , , и . COMPSAC Workshops, стр. 514-519. IEEE Computer Society, (2012)Towards Verification of Ensemble-Based Component Systems., , , , , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 41-60. Springer, (2013)Gossiping Components for Cyber-Physical Systems., , , , , и . ECSA, том 8627 из Lecture Notes in Computer Science, стр. 250-266. Springer, (2014)Engineering autonomous systems., , и . Panhellenic Conference on Informatics, стр. 128-135. ACM, (2013)