Login / Signup
Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain.
Andrea Tundis
Max 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