J.-C. Braam

Formal methods for integration of automotive software

Kai Richter, F. Wolf, M. Jersak, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.