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 × Germany
1 × USA
Collaborated with:
H.Heinecke W.Damm B.Josko H.Kopetz A.L.Sangiovanni-Vincentelli M.D.Natale
Talks about:
softwar (1) reliabl (1) automot (1) analysi (1) system (1) improv (1) compon (1) model (1) check (1) wcet (1)

Person: Alexander Metzner

DBLP DBLP: Metzner:Alexander

Contributed to:

DATE 20082008
CAV 20042004

Wrote 2 papers:

DATE-2008-HeineckeDJMKSN #component #reliability
Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
CAV-2004-Metzner #analysis #model checking #why
Why Model Checking Can Improve WCET Analysis (AM), pp. 334–347.

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.