Formal Embedded Operating System Model Based on Resource-Based Design Framework.

Jin Hyun Kim Jae-Hwan Sim Chang-Jin Kim Jin-Young Choi

Published in: QSIC (2007)

Keyphrases

operating system
computer systems
memory management
user interface
microsoft windows
case study
windows xp
design process
embedded systems
application level
maintaining consistency
data mining
operating environment
design methodology
virtual machine
distributed environment
data processing
e learning