Search Results for 'verification hscc'

verification hscc published presentations and documents on DocSlides.

Will future cars have formally verified powertrain control

by olivia-moreira

Jyotirmoy V. Deshmukh. (with Jim Kapinski, Xiaoqi...

Will future cars have formally verified powertrain control software?

by marina-yarberry

Jyotirmoy V. Deshmukh. (with Jim Kapinski, Xiaoqi...