Faithfully formalizing OSEK/VDX operating system specification.

Dieu-Huong Vu Toshiaki Aoki

Published in: SoICT (2012)

Keyphrases

address space
operating system
computer systems
virtual machine
virtual memory
microsoft windows
high level
distributed systems
application level
multi tasking
windows xp
operating environment
command line
memory management
application programs
query processing
case study