Travelled to:
1 × Germany
Collaborated with:
M.Jersak K.Richter R.Ernst J.Braam F.Wolf
Talks about:
softwar (1) automot (1) method (1) integr (1) formal (1)
Person: Zheng-Yu Jiang
DBLP: Jiang:Zheng=Yu
Contributed to:
Wrote 1 papers:
- DATE-2003-JersakREBJW #formal method #integration
- Formal Methods for Integration of Automotive Software (MJ, KR, RE, JCB, ZYJ, FW), pp. 20045–20050.