Formal Verification in Automotive Industry: Enablers and Obstacles.

Mattias Nyberg, Dilian Gurov, Christian Lidstrm, Andreas Rasmusson, Jonas Westman

Browse the full ISoLA paper archive.