Publication Records

2008

1. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

   MORAVCOVÁ VAŘEKOVÁ, Pavlína, Ivana VAŘEKOVÁ and 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, p. 41-55. ISSN 1571-0661.

   More: https://is.muni.cz/publication/788377/en
2. Model Checking of Control-User Component-Based Parametrised Systems

   MORAVCOVÁ VAŘEKOVÁ, Pavlína and Ivana ČERNÁ. Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany: Springer Verlag, 2008, p. 146-162. ISBN 978-3-540-87890-2.

   More: https://is.muni.cz/publication/791378/en