Filtrování

    2008

    1. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
      MORAVCOVÁ VAŘEKOVÁ, Pavlína; Ivana VAŘEKOVÁ a Ivana ČERNÁ. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008, s. 41-55. ISSN 1571-0661.
      Podrobněji: https://is.muni.cz/publication/788377/cs
    2. Model Checking of Control-User Component-Based Parametrised Systems
      MORAVCOVÁ VAŘEKOVÁ, Pavlína a Ivana ČERNÁ. Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany: Springer Verlag, 2008, s. 146-162. ISBN 978-3-540-87890-2.
      Podrobněji: https://is.muni.cz/publication/791378/cs
Zobrazit podrobně