-
1دورية أكاديمية
المؤلفون: Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini
المصدر: IEEE Access, Vol 9, Pp 4797-4819 (2021)
مصطلحات موضوعية: Advanced driver assistance systems, automotive engineering, autonomous vehicles, cyber-physical systems, formal verification, intelligent vehicles, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
العلاقة: https://ieeexploreTest.ieee.org/document/9310181/; https://doaj.org/toc/2169-3536Test; https://doaj.org/article/fd0774865d484783ad8d9143ada0588bTest
الإتاحة: https://doi.org/10.1109/ACCESS.2020.3048047Test
https://doaj.org/article/fd0774865d484783ad8d9143ada0588bTest -
2
المؤلفون: Antonella Santone, Luigi Glielmo, Massimo Tipaldi, Vittoria Nardone
المصدر: 2016 IEEE Metrology for Aerospace (MetroAeroSpace).
مصطلحات موضوعية: Model checking, Correctness, Spacecraft, business.industry, Computer science, Control reconfiguration, 020207 software engineering, 02 engineering and technology, Reliability engineering, Consistency (database systems), Probabilistic CTL, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Markov decision process, business, Formal verification
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::e41301ba4179e3399bfeae4a0fcba0c5Test
https://doi.org/10.1109/metroaerospace.2016.7573276Test -
3دورية أكاديمية
المصدر: IEEE Systems Journal; Mar2019, Vol. 13 Issue 1, p1018-1029, 12p