Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf. Formal Methods for Integration of Automotive Software. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany. pages 20045-20050, IEEE Computer Society, 2003. [doi]
Abstract is missing.