Sign in
Automatic modelling and verification of Autosar architectures.
Miaomiao Zhang
Yu Teng
Hui Kong
John W. Baugh Jr.
Yu Su
Junri Mi
Bowen Du
Published in:
J. Syst. Softw. (2023)
Keyphrases
</>
information retrieval
information extraction
semi automatic
model checking
fully automatic
image processing
wide range
neural network
genetic algorithm
artificial intelligence
decision making
three dimensional
image sequences
bayesian networks