Travelled to:1 × Canada
1 × France
Collaborated with:J.Jürjens D.Reiß J.Botaschanjan A.Gruler A.Harhurin L.Kof M.Spichkova
Talks about:distribut (1) trigger (1) softwar (1) qualiti (1) modular (1) automot (1) toward (1) system (1) verif (1) model (1)
Person: David Trachtenherz
DBLP: Trachtenherz:David
Contributed to:
2008
2006Wrote 2 papers:
- MoDELS-2008-JurjensRT #assurance #modelling #quality
- Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
- FM-2006-BotaschanjanGHKST #distributed #towards #verification
- Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.