Název: Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Překlad názvu: Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Autoři: Mazánek, Antonín ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2020
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: .NET Core; IF; Intermediate Format; JSON; překlad; simulační běh; Uppaal; uživatelsky přívětivá reprezentace; XTR; .NET Core; conversion; IF; Intermediate Format; JSON; simulation trace; Uppaal; user-friendly representation; XTR

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/192456

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


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce
 Záznam vytvořen dne 2024-04-02, naposledy upraven 2024-04-03.


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