Login / Signup

Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata.

Andre MeteloChristiano BragaDiego N. Brandão
Published in: ICCSA (1) (2018)
Keyphrases
  • hybrid automata
  • cyber physical systems
  • finite state automata
  • cyber physical
  • real time