Login / Signup

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

Muhammad FadlisyahPeter Csaba ÖlveczkyErika Ábrahám
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • hybrid systems
  • neural network
  • data mining
  • training data
  • data analysis
  • formal specification