Login / Signup
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study.
Jiyoung Song
Doo-Hwan Bae
Published in:
J. Syst. Softw. (2023)
Keyphrases
</>
case study
management system
real world
building blocks
neural network
data mining
website
multi agent
expert systems
mobile devices
long term
software development
pattern matching
pattern discovery
formal methods
automated verification