Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Estimating State Space Parameters
      ŠIMEČEK, Pavel and Radek PELÁNEK. Estimating State Space Parameters. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008.
      More: https://is.muni.cz/publication/795912/en
    2. Model Classifications and Automated Verification
      PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, p. 149-163. ISBN 978-3-540-79706-7.
      More: https://is.muni.cz/publication/727677/en
    3. Properties of State Spaces and Their Applications
      PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2008, vol. 10, No 5, p. 443-454. ISSN 1433-2779.
      More: https://is.muni.cz/publication/792695/en

    2007

    1. Distributed Precomputation of State-space for Haptic Interaction with Non-linear Model of Liver
      PETERLÍK, Igor. Distributed Precomputation of State-space for Haptic Interaction with Non-linear Model of Liver. In MEMICS07 Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Ing. Zdeněk Novotný CSc., 2007, p. 169-176. ISBN 978-80-7355-077-6.
      More: https://is.muni.cz/publication/727350/en
Display details
Displayed: 18/7/2024 10:29