Verifying CPS Using DDL.

Ying Zhou Min Zhu Xufang Gong Bixin Li

Published in: Intelligent Environments (Workshops) (2017)

Keyphrases

model checking
description language
multi dimensional
machine learning
real world
search space
software engineering
domain specific
data manipulation language