Filtrování

    2008

    1. Estimating State Space Parameters
      ŠIMEČEK, Pavel a Radek PELÁNEK. Estimating State Space Parameters. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008.
      Podrobněji: https://is.muni.cz/publication/795912/cs
    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, s. 149-163. ISBN 978-3-540-79706-7.
      Podrobněji: https://is.muni.cz/publication/727677/cs
    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, roč. 10, č. 5, s. 443-454. ISSN 1433-2779.
      Podrobněji: https://is.muni.cz/publication/792695/cs

    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, s. 169-176. ISBN 978-80-7355-077-6.
      Podrobněji: https://is.muni.cz/publication/727350/cs
Zobrazit podrobně