Login / Signup
A pattern-based verification approach for a multi-core system development.
Peng-Hua Chu
Nien-Lin Hsueh
Chien-Ching Lee
Min-Ju Chuang
Pao-Ann Hsiung
William C. Chu
Published in:
SAC (2011)
Keyphrases
</>
case study
rapid development
evolutionary algorithm
development process
machine learning
genetic algorithm
multi agent systems
mobile devices
object oriented
knowledge based systems
model checking
design principles
rapid prototyping