Filtrování

    2005

    1. Under-Approximation Generation using Partial Order Reduction
      BRIM, Luboš; Ivana ČERNÁ; Pavel MORAVEC a Jiří ŠIMŠA. Under-Approximation Generation using Partial Order Reduction. Brno: Faculty of Informatics, 2005, 21 s. Technical Reports, FIMU-RS-2005-04.
      URL
      Název česky: Generování stavového prostoru s použitím under-aproximace a partial order reduction
      Název anglicky: Under-Approximation Generation using Partial Order Reduction
      RIV/00216224:14330/05:00012458 Odborná kniha. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: under-aproximation; state space generation; partial order reduction
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 19. 12. 2006 13:19.
      Podrobněji: https://is.muni.cz/publication/571173/cs