Travelled to:1 × France
Collaborated with:Y.Dajsuren A.Serebrenik A.Wijs B.Vasilescu M.v.d.Brand
Talks about:architectur (1) correspond (1) automot (1) formal (1) view (1) rule (1)
Person: Christine M. Gerpheide
DBLP: Gerpheide:Christine_M=
Contributed to:
2014Wrote 1 papers:
- QoSA-2014-DajsurenGSWVB #architecture #formal method
- Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.