Component-Interaction Automata Approach (CoIn)-Reference-Cited by-同舟云学术

Component-Interaction Automata Approach (CoIn)

Published: Issue: Volume: Page:146-176
ISSN:0302-9743
Container-title:The Common Component Modeling Example
language:
Short-container-title:

Author:

Zimmerova Barbora,Vařeková Pavlína,Beneš Nikola,Černá Ivana,Brim Luboš,Sochor Jiří

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-85289-6_7.pdf

Reference8 articles.

1. Černá, I., Vařeková, P., Zimmerova, B.: Component-interaction automata modelling language. Technical Report FIMU-RS-2006-08, Masaryk University, Faculty of Informatics, Brno, Czech Republic (2006)

2. Lecture Notes in Computer Science;J. Barnat,2006

3. Brim, L., Černá, I., Vařeková, P., Zimmerova, B.: Component-Interaction automata as a verification-oriented component-based system specification. In: Proceedings of the ESEC/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2005), Lisbon, Portugal, September 2005, pp. 31–38. Iowa State University, USA (2005)

4. The CoIn Team: The complete CoIn model of the Trading System (2007), http://anna.fi.muni.cz/coin/cocome/

5. Vařeková, P., Moravec, P., Černá, I., Zimmerova, B.: Effective verification of systems with a dynamic number of components. In: Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS 2007), Dubrovnik, Croatia, September 2007, pp. 3–13. ACM Press, USA (2007)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A hybrid machine learning model for intrusion detection in VANET;Computing;2021-08-23

2. The Formal Transformation of AADL Based on Z-CoIA;Cloud Computing and Security;2017

3. Stateful component-based performance models;Software & Systems Modeling;2013-04-05

4. Factorization for Component-Interaction Automata;SOFSEM 2012: Theory and Practice of Computer Science;2012

5. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems;Electronic Proceedings in Theoretical Computer Science;2011-10-31