Travelled to:
1 × Germany
Collaborated with:
M.Jersak K.Richter R.Ernst Z.Jiang F.Wolf
Talks about:
softwar (1) automot (1) method (1) integr (1) formal (1)
Person: Jörn-Christian Braam
DBLP: Braam:J=ouml=rn=Christian
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.