Login / Signup
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.
Ender Yüksel
Huibiao Zhu
Hanne Riis Nielson
Heqing Huang
Flemming Nielson
Published in:
TASE (2012)
Keyphrases
</>
model checking
case study
temporal logic
smart grid
formal specification
finite state
formal verification
epistemic logic
multi agent
power system
temporal properties
source code
context aware
model checker
abstract interpretation
advanced metering infrastructure