Login / Signup
Automated system-level safety testing using constraint patterns for automotive operating systems.
Taejoon Byun
Yunja Choi
Published in:
SAC (2015)
Keyphrases
</>
operating system
application level
computer systems
virtual machine
memory management
multi tasking
windows xp
database
data structure
distributed systems
application programs
linux kernel
data model
data management
microsoft windows
operating environment