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