Login / Signup
Analyzing a wind turbine system: From simulation to formal verification.
Cristina Seceleanu
Morgan E. Johansson
Jagadish Suryadevara
Gaetana Sapienza
Tiberiu Seceleanu
Stein Erik Ellevseth
Paul Pettersson
Published in:
Sci. Comput. Program. (2017)
Keyphrases
</>
formal verification
wind turbine
model checking
wind speed
wind farm
model checker
wind energy
automated verification
symbolic model checking
wind power
data mining
power plant
power generation
fault diagnosis
long term
program slicing
data analysis