Author:
Barnat Jiří,Beneš Nikola,Bureš Tomáš,Černá Ivana,Keznikl Jaroslav,Plášil František
Publisher
Springer International Publishing
Reference13 articles.
1. Al Ali, R., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo computational model-I., Technical Report D3S-TR-2013-01, D3S, Charles University in Prague.
http://d3s.mff.cuni.cz/publications
(2013)
2. Lecture Notes in Computer Science;J Barnat,2013
3. Barnat, J., Beneš, N., Černá, I., Petruchová, Z.: DCCL: verification of component systems with ensembles. In: Proceedings of CBSE ’13. pp. 43–52. ACM, New York (2013)
4. Bures, T., et al.: DEECo - an ensemble-based component system. In: Proceedings of CBSE ’13. ACM, New York (2013)
5. Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: Proceedings of SEAA 2012. IEEE CS, Los Alamitos (2012)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Model Transformation Approach for Converting a Trait-based Model to a Markov Chain Model;2023 IEEE 8th International Conference on Recent Advances and Innovations in Engineering (ICRAIE);2023-12-02
2. A language and framework for dynamic component ensembles in smart systems;International Journal on Software Tools for Technology Transfer;2020-02-28
3. DEECo: an ecosystem for cyber-physical systems;Companion Proceedings of the 36th International Conference on Software Engineering;2014-05-31