C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A comprehensive framework for the analysis of automotive systems.
Alessandro Cimatti
Sara Corfini
Luca Cristoforetti
Marco Di Natale
Alberto Griggio
Stefano Puri
Stefano Tonetta
Published in:
MoDELS (2022)
Keyphrases
</>
statistical analysis
data analysis
computer systems
main contribution
theoretical framework
analysis tool
information retrieval
learning algorithm
databases
data mining
decision trees
intelligent systems
safety critical