Login / Signup

Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract).

Holger Giese
Published in: FACS (2016)
Keyphrases
  • extended abstract
  • formal models
  • real time
  • case study
  • data analysis
  • process model