Zobrazeno 1 - 3
of 3
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
Autor:
Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre
The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was org