Název: Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Autoři: Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2024
Jazyk: slo
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [slo] [eng]

Klíčová slova: automatic code generation; finite state automata; Honeywell; optimizations; reverse reconstruction; Simulink; Stateflow; translation validation

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: https://hdl.handle.net/11012/248571

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


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-06-22, naposledy upraven 2024-06-30.


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