Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems.

Klaus-Dieter Schewe

Published in: MEDI (2018)

Keyphrases

cyber physical systems
knowledge management
data mining
database systems
software engineering
decision makers
data processing
decision support