Sign in
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Muhammad Fadlisyah
Peter Csaba Ölveczky
Erika Ábrahám
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
hybrid systems
neural network
data mining
training data
data analysis
formal specification