Název: Vyhodnocování spolehlivostních ukazatelů pomocí SMC
Překlad názvu: Dependability Assessment Based on SMC
Autoři: Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [eng] [cze]

Klíčová slova: analysis; assessment; automaton; dependability; faults; modelling; multiplex; reconfiguration; simulation; sparing; statistics; timed automaton; Uppaal; Uppaal SMC; analýza; automat; chyby; modelovanie; multiplex; nahrázanie; rekonfigurácia; simulácia; spoľahlivosť; Uppaal; Uppaal SMC; vyhodnocovanie; časovaný automat; štatistika

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/211045

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


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 > Bakalářské práce
 Záznam vytvořen dne 2023-07-23, naposledy upraven 2023-08-06.


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