A development and verification framework for the SegBus platform.

Moazzam Fareed Niazi Tiberiu Seceleanu Hannu Tenhunen

Published in: J. Syst. Archit. (2013)

Keyphrases

knowledge based systems
main contribution
design principles
neural network
software engineering
formal verification
machine learning
information retrieval
artificial intelligence
information systems
reinforcement learning
distributed systems
lightweight
theoretical framework