Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gabriel Duarte Pasa"'
Publikováno v:
Computational Science and Its Applications – ICCSA 2021 ISBN: 9783030869724
ICCSA (4)
ICCSA (4)
The safety assessment process is a mandatory step in the development and certification of safety-critical systems such as the ones in the aerospace industry. In this work we show how Probabilistic Model Checking, a Formal Verification method, can hel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6a0d1a5eabe6253cb612395797f8c45
https://doi.org/10.1007/978-3-030-86973-1_33
https://doi.org/10.1007/978-3-030-86973-1_33
Publikováno v:
Annual Conference of the PHM Society. 11
Neural networks in their many flavors have been widely used in prognostics of engineered systems due to their versatility and increasing potential, especially with recent breakthroughs in Deep Learning and specialized architectures. Despite these adv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72ea34d353bae50355af0f1605590f41
https://doi.org/10.36001/phmconf.2019.v11i1.786
https://doi.org/10.36001/phmconf.2019.v11i1.786
