Sign in

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification.

Jagadish SuryadevaraGaetana SapienzaCristina Cerschi SeceleanuTiberiu SeceleanuStein Erik EllevsethPaul Pettersson
Published in: FTSCS (2013)
Keyphrases
  • wind turbine
  • formal methods
  • wind speed
  • real time
  • formal models
  • data sets
  • artificial intelligence
  • formal analysis