Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2002

    1. Property Driven Distribution of Nested DFS
      BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton, 2002, s. 1-10.
      Název anglicky: Property Driven Distribution of Nested DFS
      RIV/00216224:14330/02:00006603 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
      Klíčová slova anglicky: model-checking; distributed model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:02.
      Podrobněji: https://is.muni.cz/publication/406260/cs

    2001

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag, 2001, s. 200-215. ISBN 3-540-42124-6.
      Název anglicky: Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/01:00004189 Stať ve sborníku. Informatika. angličtina. Kanada.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
      Klíčová slova anglicky: model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:00.
      Přír. čísla: 4200506714
      Podrobněji: https://is.muni.cz/publication/362073/cs

    2000

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU, 2000, 16 s. Technical Reports.
      URL
      Název anglicky: Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/00:00002823 Odborná kniha. Informatika. čeština. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
      Klíčová slova anglicky: model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 26. 5. 2004 15:45.
      Podrobněji: https://is.muni.cz/publication/346893/cs
Zobrazeno: 29. 7. 2024 10:32