Filtrování

    2003

    1. Distributed Explicit Fair Cycle Detection D - Stať ve sborníku
      ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003, s. 49-74, 25 s. ISBN 3-540-40117-2.
      RIV/00216224:14330/03:00008589 Stať ve sborníku. Informatika. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: distributed model checking; cycle detection
      Mezinárodní význam: ano
      Recenzováno: ano
      Typ záznamu: Stať ve sborníku
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:11.
      Podrobněji: https://is.muni.cz/publication/489731/cs

    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