Formalizing Cyber-Physical System Model Transformation via Abstract Interpretation.

Natasha Jarus Sahra Sedigh Sarvestani Ali R. Hurson

Published in: CoRR (2019)

Keyphrases

high level
relational databases
database
management system
real time
databases
data mining
artificial intelligence