Search Results for 'Hscc'

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...