Výpis publikací

2007

1. Subject-observer specification with component-interaction automata

   VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In 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. s. 75-81. ISBN 978-1-59593-721-6. 2007.

   URL

   Název česky: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
   RIV/00216224:14330/07:00019482 Stať ve sborníku. Informatika. angličtina. Spojené státy.
   Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
   Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
   Druh sborníku: postkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.

   Podrobněji: https://is.muni.cz/publication/726164/cs