المؤلفون: 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

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9310181Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/fd0774865d484783ad8d9143ada0588bTest

المؤلفون: Valeria Vittorini, Nijat Rajabli, Roberto Nardone, Francesco Flammini

المساهمون: Rajabli, Nijat, Flammini, Francesco, Nardone, Roberto, Vittorini, Valeria

المصدر: IEEE Access, Vol 9, Pp 4797-4819 (2021)
DOAJ-Articles
Digitala Vetenskapliga Arkivet-Academic Archive On-line
Archivio della ricerca-Università degli studi di Napoli Federico II
UnpayWall
ORCID
Microsoft Academic Graph
IEEE Access

مصطلحات موضوعية: Computer and Information Sciences, General Computer Science, intelligent vehicles, Computer science, 02 engineering and technology, Certification, cyber-physical systems, vehicle safety, Software, Advanced driver assistance systems, automotive engineering, autonomous vehicles, cyber-physical systems, formal verification, intelligent vehicles, machine learning, system testing, system validation, vehicle safety, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Software verification and validation, formal verification, system testing, business.industry, automotive engineering, General Engineering, Autonomous Cars, Literature review, Validation, Verification, 020207 software engineering, Data- och informationsvetenskap, Fault injection, Formal methods, Advanced driver assistance systems, Systematic review, machine learning, Traffic congestion, Risk analysis (engineering), system validation, Mutation testing, 020201 artificial intelligence & image processing, lcsh:Electrical engineering. Electronics. Nuclear engineering, autonomous vehicles, business, lcsh:TK1-9971, Verification and validation

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92927b54e63995583505ee219735877bTest
http://hdl.handle.net/11588/829431Test