[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems
Yamaguchi, Tomoya, Kaga, Tomoyuki, Donze, Alexandre, Seshia, Sanjit A.Year:
2016
Language:
english
DOI:
10.1109/fmcad.2016.7886680
File:
PDF, 472 KB
english, 2016