VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, p. p. 532-546, 15 pp. ISSN 1751-8806. |
Other formats:
BibTeX
LaTeX
RIS
@article{800041, author = {Vařeková, Pavlína and Zimmerová, Barbora and Moravec, Pavel and Černá, Ivana}, article_number = {Isuue 6}, keywords = {Component-based systems; dynamic number of components; infinite-state systems; formal verification}, language = {eng}, issn = {1751-8806}, journal = {IET Software journal}, title = {Formal verification of systems with an unlimited number of components}, url = {http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6}, volume = {Volume 2}, year = {2008} }
TY - JOUR ID - 800041 AU - Vařeková, Pavlína - Zimmerová, Barbora - Moravec, Pavel - Černá, Ivana PY - 2008 TI - Formal verification of systems with an unlimited number of components JF - IET Software journal VL - Volume 2 IS - Isuue 6 SP - p. 532-546 EP - p. 532-546 PB - Inst. of Engeneering and Technology SN - 17518806 KW - Component-based systems KW - dynamic number of components KW - infinite-state systems KW - formal verification UR - http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6 N2 - In the paper, we focus on control-user parametrised systems. We present an extended version of a fully automatic algorithm which we introduced in our previous paper. ER -
VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. \textit{IET Software journal}. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, p.~p. 532-546, 15 pp. ISSN~1751-8806.
|