Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{726163, author = {Vařeková, Pavlína and Moravec, Pavel and Černá, Ivana and Zimmerová, Barbora}, address = {New York, NY, USA}, booktitle = {Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}, keywords = {Component-based systems; dynamic number of components; finite-state systems; formal verification}, language = {eng}, location = {New York, NY, USA}, isbn = {978-1-59593-721-6}, pages = {3-13}, publisher = {ACM Press}, title = {Effective verification of systems with a dynamic number of components}, url = {http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868}, year = {2007} }
TY - JOUR ID - 726163 AU - Vařeková, Pavlína - Moravec, Pavel - Černá, Ivana - Zimmerová, Barbora PY - 2007 TI - Effective verification of systems with a dynamic number of components PB - ACM Press CY - New York, NY, USA SN - 9781595937216 KW - Component-based systems KW - dynamic number of components KW - finite-state systems KW - formal verification UR - http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868 N2 - In the paper, we present a novel approach to verification of dynamic component-based systems, the systems that can have a changing number of components over their life-time. ER -
VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In \textit{Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}. New York, NY, USA: ACM Press, 2007, s.~3-13. ISBN~978-1-59593-721-6.
|