Login / Signup
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation.
Yunja Choi
Mingyu Park
Taejoon Byun
Dongwoo Kim
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
operating system
operating environment
cost effective
virtual machine
computer systems
windows xp
distributed systems
computing environments
machine learning
data structure
data processing
microsoft windows
linux kernel