Název: Sumarizace větvených cyklů
Překlad názvu: Branching loop summarization
Autoři: Tatarko, William ; Blicha, Martin (vedoucí práce) ; Bednárek, David (oponent)
Typ dokumentu: Diplomové práce
Rok: 2021
Jazyk: eng
Abstrakt: [eng] [cze]

Klíčová slova: sumarizace|algoritmus|dosažitelnost|verifikace|orientované grafy; summarization|algorithm|reachabilitiy|verification|digraphs

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/127784

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-448637


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce
 Záznam vytvořen dne 2021-07-25, naposledy upraven 2024-01-26.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet