Sign in

Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation.

Natasha JarusSahra Sedigh SarvestaniAli R. Hurson
Published in: HASE (2019)
Keyphrases
  • real time
  • knowledge base
  • high level
  • relational databases
  • data collection