VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a 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, s. p. 532-546, 15 s. ISSN 1751-8806. |
Další formáty:
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 a 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, s.~p. 532-546, 15 s. ISSN~1751-8806.
|