Inproceedings,

Formal Methods for Integration of Automotive Software.

, , , , , and .
DATE, page 20045-20050. IEEE Computer Society, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews