Login / Signup

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume DavyChristophe GarionPierre-Loïc GarochePierre RouxXavier Thirioux
Published in: FDL (2018)
Keyphrases
  • real time
  • artificial intelligence
  • learning analytics
  • interactive visualization