Login / Signup
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.
Longfei Zhu
Min Zhang
Yanhong Huang
Jianqi Shi
Huibiao Zhu
Published in:
TASE (2011)
Keyphrases
</>
operating system
application programming interfaces
computer systems
virtual machine
microsoft windows
distributed systems
virtual memory
application level
memory management
multi tasking
windows nt
operating environment
command line
high assurance
programs written
databases
high level
machine learning