Analysis of the Verification Approaches for the Cyber-Physical Systems.

Sergiy Korotunov Galyna Tabunshchyk Karsten Henke Heinz-Dietrich Wuttke

Published in: CMIS (2019)

Keyphrases

artificial intelligence
data analysis
computational intelligence
decision support system
software systems
mobile agents