Login / Signup

Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain.

Andrea TundisMax Mühlhäuser
Published in: Int. J. Simul. Process. Model. (2019)
Keyphrases
  • smart grid
  • cyber security
  • cyber physical systems
  • real time
  • power system
  • information technology
  • decision making
  • wireless networks
  • information security
  • critical infrastructure