A formal fault model for component-based models of embedded systems
By: Marco Fischer.
Series: Wissenschaftliche Schriftenreihe eingebettete, selbstorganisierende Systeme -- Bd. 4
Publisher: TUDpress
Published: 2007
Place of publication: Dresden
Language: eng
Number of pages: 138
ISBN-13: 9783940046253
Subjects: Embedded computer systems -- Testing.; Fault-tolerant computing.
Notes: Added t.p. with thesis statement inserted.

Originally presented as the author's thesis (doctoral)--Technische Universität Chemnitz, 2006.

Includes bibliographical references (p. [121]-130) and index.