Model-based analysis, synthesis and testing of automotive hardware/software architectures.

Samarjit Chakraborty, S. Ramesh, Jrgen Teich

Browse the full EMSOFT paper archive.