Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

  1. ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Linear Temporal Properties to Model Checking. Brno, Czech Republic: FI MU, 2003. Technical report FIMU-RS-2003-03.
    URL
    Název česky: Hierarchie lineárních temporálních vlastností a ověřování modelů
    Název anglicky: Relating Hierarchy of Linear Temporal Properties to Model Checking
    RIV/00216224:14330/03:00024523 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
    Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
    Klíčová slova anglicky: temporal logic; automata over infinite words; hierarchy of properties

    Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 23. 6. 2009 17:18.
  2. ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003. s. 318-327. ISBN 3-540-40671-9.
    RIV/00216224:14330/03:00008590 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: temporal logic; automata over infinite words; model checking
    Mezinárodní význam: ano
    Recenzováno: ano

    Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
    Přír. čísla: 4200509002
Zobrazeno: 10. 5. 2021 20:57