Další formáty:
BibTeX
LaTeX
RIS
@misc{698725,
author = {Černá, Ivana and Vařeková, Pavlína and Zimmerová, Barbora},
address = {Brno, Czech Republic},
keywords = {Component-based systems; automata theory; specification; verification},
language = {eng},
location = {Brno, Czech Republic},
publisher = {Faculty of Informatics, Masaryk University},
title = {Component-Interaction Automata Modelling Language},
url = {http://www.fi.muni.cz/reports/},
year = {2006}
}
TY - GEN
ID - 698725
AU - Černá, Ivana - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2006
TI - Component-Interaction Automata Modelling Language
VL - Technical report FIMU-RS-2006-08
PB - Faculty of Informatics, Masaryk University
CY - Brno, Czech Republic
KW - Component-based systems
KW - automata theory
KW - specification
KW - verification
UR - http://www.fi.muni.cz/reports/
N2 - The paper introduces a Component-interaction automata language, which was designed for modelling of component interactions in hierarchical component-based software systems. The language supports modelling of important interaction attributes of such systems, and hence provides a rich base for further application of formal methods.
ER -
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. \textit{Component-Interaction Automata Modelling Language}. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
|
