Login / Signup
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.
Maurice H. ter Beek
Stefania Gnesi
Franco Mazzanti
Published in:
Software, Services, and Systems (2015)
Keyphrases
</>
probabilistic model
mathematical model
formal model
high level
computational model
statistical model
special case
neural network
cost function
management system
theoretical analysis
theoretical framework
hierarchical structure
network model
hybrid model