Detail publikace
On SMC-Based Dependability Analysis in LoLiPoP-IoT Project
STRNADEL Josef, LOJDA Jakub, SMRŽ Pavel a ŠIMEK Václav. On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. In: Limenas Hersonissou, 2024, s. 25.
Název česky
Analýza spolehlivosti založená na SMC pro projekt LoLiPoP-IoT
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
Lojda Jakub, Ing., Ph.D. (UPSY FIT VUT)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT)
Šimek Václav, Ing. (UPSY FIT VUT)
Lojda Jakub, Ing., Ph.D. (UPSY FIT VUT)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT)
Šimek Václav, Ing. (UPSY FIT VUT)
Klíčová slova
Poruchový stav, Selhání, Náhodná proměnná, Spolehlivost, Udržovatelnost, Analýza, Kvantitativní ohodnocení, Model, Časovaný automat, Simulace, Statistická kontrola modelu, Neurčitost
Rok
2024
(v tisku)
Strany
25
Konference
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, GR
Místo
Limenas Hersonissou, GR
BibTeX
@INPROCEEDINGS{FITPUB13214, author = "Josef Strnadel and Jakub Lojda and Pavel Smr\v{z} and V\'{a}clav \v{S}imek", title = "On SMC-Based Dependability Analysis in LoLiPoP-IoT Project", pages = 25, year = 2024, location = "Limenas Hersonissou, GR", language = "english", url = "https://www.fit.vut.cz/research/publication/13214" }