Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn. Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. In The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014. pages 1-4, ACM, 2014. [doi]

This author has not been identified. Look up 'Guillermo Rodríguez-Navas' in GoogleThis author has not been identified. Look up 'Cristina Cerschi Seceleanu' in GoogleThis author has not been identified. Look up 'Hans Hansson' in GoogleThis author has not been identified. Look up 'Mattias Nyberg' in GoogleThis author has not been identified. Look up 'Oscar Ljungkrantz' in GoogleThis author has not been identified. Look up 'Henrik Lönn' in Google

runs on WebDSL