Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Rolf Ernst, Jrn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Browse the full DATE paper archive.