Specification, Verification and Design of Evolving Automotive Software: Invited.

S. Ramesh, Birgit Vogel-Heuser, Wanli Chang, Debayan Roy, Licong Zhang, Samarjit Chakraborty

Browse the full DAC paper archive.