BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Trachtenherz:David

Contributed to:

MoDELS 20082008
FM 20062006

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.