TY - GEN
AU - Choi, Yunja
AU - Park, Mingyu
AU - Byun, Taejoon
AU - Kim, Dongwoo
TI - Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
PB - Elsevier BV
SN - 0167-6423
KW - Software
PY - 2015
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation