Výpis publikací

ŠIMEČEK, Pavel a Radek PELÁNEK. Estimating State Space Parameters. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008.

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.

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.

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.