Automotive systems requirement mining using breach

Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia. Automotive systems requirement mining using breach. In American Control Conference, ACC 2015, Chicago, IL, USA, July 1-3, 2015. pages 4097, IEEE, 2015. [doi]

Bibliographies