"Subject-observer specification with component-interaction automata"@en . "978-1-59593-721-6" . . "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" . . "RIV/00216224:14330/07:00019482" . . "14330" . . . . "Moravcov\u00E1 Va\u0159ekov\u00E1, Pavl\u00EDna" . "RIV/00216224:14330/07:00019482!RIV10-GA0-14330___" . "Dubrovnik, Croatia" . . "[77DE0D4E973D]" . "Subject-observer specification with component-interaction automata" . "B\u00FChnov\u00E1, Barbora" . . . . "7"^^ . "New York, NY, USA" . . . . "2"^^ . . . "453384" . "2"^^ . . "ACM Press" . "This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject- Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers." . "Subject-observer specification with component-interaction automata" . "P(1ET400300504), P(GD102/05/H050), Z(MSM0021622419)" . . "Subject-observer specification with component-interaction automata"@en . . "This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject- Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers."@en . "Component-based systems; dynamic number of components; finite-state systems; verification; software modelling"@en . . . . "2007-09-03+02:00"^^ . .