Semi-automatic safety analysis and optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton. Semi-automatic safety analysis and optimization. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]

This author has not been identified. Look up 'Peter Munk' in GoogleThis author has not been identified. Look up 'Andreas Abele' in GoogleThis author has not been identified. Look up 'Eike Thaden' in GoogleThis author has not been identified. Look up 'Arne Nordmann' in GoogleThis author has not been identified. Look up 'Rakshith Amarnath' in GoogleThis author has not been identified. Look up 'Markus Schweizer' in GoogleThis author has not been identified. Look up 'Simon Burton' in Google

runs on WebDSL