Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

  1. VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. 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. 3-13. ISBN 978-1-59593-721-6.
  2. 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.
  3. 1999

  4. KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM, Germany: Technical University Munich, 1999, roč. 1999, TUM-I9902, s. 1-23.
  5. 1998

  6. JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM, Germany: Technical University Munich, 1998, roč. 1998, TUM-I9805, s. 1-24.
  7. KUČERA, Antonín a Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM, Germany: Technical University Munich, 1998, roč. 1998, TUM-I9830, s. 1-28.
  8. 1997

  9. JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series, Brno: FI MU, 1997, roč. 1997, RS-97-02, s. 1-19.
Zobrazit podrobně
Zobrazeno: 13. 8. 2020 11:53