Original title: Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Translated title: Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Authors: Mazánek, Antonín ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
Document type: Master’s theses
Year: 2020
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

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

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/192456

Permalink: http://www.nusl.cz/ntk/nusl-593209


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2024-04-02, last modified 2024-04-03


No fulltext
  • Export as DC, NUŠL, RIS
  • Share