Login / Signup

Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.

Marcello M. BersaniMarisol García-Valls
Published in: J. Softw. Evol. Process. (2018)
Keyphrases
  • cyber physical systems
  • real time
  • cyber physical
  • real world
  • computational intelligence
  • physical world
  • cyber security