Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

  1. 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, 2007. s. 75-81. ISBN 978-1-59593-721-6.
Zobrazit podrobně
Zobrazeno: 21. 10. 2020 04:55