Filtrování

    2002

    1. Distributed Modular Model Checking D - Stať ve sborníku
      CRHOVÁ, Jitka. Distributed Modular Model Checking. In 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium. Edinburgh, 2002, s. 17-21.
      Podrobněji: https://is.muni.cz/publication/406230/cs
    2. Distributed Modular Model Checking (abstract) D - Stať ve sborníku
      CRHOVÁ, Jitka. Distributed Modular Model Checking (abstract). In The Seventeenth IEEE International Conference on Automated Software Engineering. Los Alamitos: IEEE Computer Society, 2002, s. 312. ISBN 0-7695-1736-6.
      Podrobněji: https://is.muni.cz/publication/406228/cs
Zobrazit podrobně