Formal Development of a Real-Time Operating System Memory Manager.

Wen Su Jean-Raymond Abrial Geguang Pu Bin Fang

Published in: ICECCS (2015)

Keyphrases

case study
management system
machine learning
learning algorithm
knowledge based systems
information processing
memory requirements
development environment
data mining
user interface
project management
limited memory