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.
      Název anglicky: Distributed Modular Model Checking
      Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Klíčová slova anglicky: formal methods; distributed model checking; modular model checking
      Typ záznamu: Stať ve sborníku
      Změnila: Mgr. Jitka Žídková, učo 2922. Změněno: 16. 1. 2003 15:41.
      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.
      Název anglicky: Distributed Modular Model Checking (abstract)
      RIV/00216224:14330/02:00006592 Stať ve sborníku. Počítačový hardware a software. angličtina. Spojené státy.
      Crhová, Jitka (203 Česká republika, garant)
      Klíčová slova anglicky: formal methods; distributed model checking; modular model checking
      Typ záznamu: Stať ve sborníku
      Změnila: Mgr. Jitka Žídková, učo 2922. Změněno: 14. 5. 2003 14:10.
      Podrobněji: https://is.muni.cz/publication/406228/cs