Login / Signup
A hybrid framework for resource verification in executable model-based embedded system development.
Honguk Woo
Aloysius K. Mok
James C. Browne
Published in:
SIGBED Rev. (2008)
Keyphrases
</>
neural network
information processing
development process
database
case study
information retrieval
genetic algorithm
artificial intelligence
information technology
wireless sensor networks
data driven
decision support
machine learning
theoretical framework
resource allocation
model checking
real world