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