Sign in
Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software.
Mohd Z. M. Zaki
Mohd Adham Isa
Dayang N. A. Jawawi
Published in:
ICSECS (3) (2011)
Keyphrases
</>
real time
model validation
computational model
theoretical analysis
neural network model
probability distribution
management system
hidden markov models
experimental data
formal model
source code
probabilistic model
software systems
theoretical framework
statistical model
cost function
artificial neural networks