%0 Generic
%T Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
%A Choi, Yunja
%A Park, Mingyu
%A Byun, Taejoon
%A Kim, Dongwoo
%I Elsevier BV
%@ 0167-6423
%K Software
%D 2015
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation