Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.

Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn

Browse the full DAC paper archive.