-
CoIn Tool Set (software)Podrobněji: https://is.muni.cz/publication/878167/cs
-
BENEŠ, Nikola; Milan KŘIVÁNEK a Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 8 s. ISBN 978-3-939897-15-6.Podrobněji: https://is.muni.cz/publication/875218/cs
-
BENEŠ, Nikola; Luboš BRIM; Ivana ČERNÁ; Jiří SOCHOR; Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008, s. 221-225. ISSN 1571-0661.Podrobněji: https://is.muni.cz/publication/785938/cs
-
BRIM, Luboš; Ivana ČERNÁ; Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, roč. 31, č. 2, s. 1-8. ISSN 0163-5948.Podrobněji: https://is.muni.cz/publication/703524/cs
-
BRIM, Luboš; Ivana ČERNÁ; Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005, s. 31-38.Podrobněji: https://is.muni.cz/publication/591644/cs
-
VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005, s. 71-75.Podrobněji: https://is.muni.cz/publication/623025/cs
2009
2008
2006
2005
Zobrazeno: 20. 7. 2025 18:54