C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
System-Level Verification of Embedded Operating Systems Components.
Mateus Krepsky Ludwich
Antônio Augusto Fröhlich
Published in:
SBESC (2012)
Keyphrases
</>
operating system
application level
computer systems
virtual machine
memory management
distributed systems
multi threaded
linux kernel
windows xp
data processing
smart card
operating environment
multi tasking
high assurance