Login / Signup
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.
Asieh Salehi Fathabadi
Abdolbaghi Rezazadeh
Michael J. Butler
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
management system
computational model
mathematical model
database
formal model
high level
prior knowledge
cost function
probabilistic model
input data
em algorithm
theoretical analysis
parameter estimation
conceptual model
neural network model
spatial structure