Cross-layer analysis, testing and verification of automotive control software.

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree

Browse the full EMSOFT paper archive.