Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way.

Mirko Conrad

Browse the full ISoLA paper archive.