17.01.2014 Aufrufe

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

§ 9 Berechnungsmethoden<br />

ZSA<br />

Trennungen<br />

– Ermittlung der Trennungen aus Fehlerbaum<br />

• ODER-Verknüpfung<br />

{A}<br />

ODER<br />

→<br />

• UND-Verknüpfung<br />

UND<br />

{ A}<br />

{ E , E2<br />

→<br />

{ E<br />

{ E<br />

L<br />

{<br />

1<br />

2<br />

E n<br />

}<br />

}<br />

}<br />

, LE<br />

1 n<br />

}<br />

(89)<br />

(90)<br />

© <strong>2012</strong> IAS, Universität Stuttgart<br />

234

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!