C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.
Cinzia Bernardeschi
Marco Di Natale
Gianluca Dini
Maurizio Palmieri
Published in:
ICISSP (2017)
Keyphrases
</>
static analysis
data sets
historical data
database
experimental data
data sources
accurate models
learning algorithm
artificial intelligence
training data
probabilistic model
software engineering
statistical methods