Login / Signup
From AADL to Timed Abstract State Machines: A verified model transformation.
Zhibin Yang
Kai Hu
Dianfu Ma
Jean-Paul Bodeveix
Lei Pi
Jean-Pierre Talpin
Published in:
J. Syst. Softw. (2014)
Keyphrases
</>
machine learning
mathematical model
data sets
probabilistic model
computational model
database
bayesian framework
information retrieval
genetic algorithm
information systems
statistical model
closed form
conceptual model
sensitivity analysis