Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Softwaretechnik und Programmiersprachen »
Software Engineering »
Publications »
Failure-sensitive specification: A formal method for finding failure modes

Failure-sensitive specification: A formal method for finding failure modes

Frank Ortmeier and Wolfgang Reif

Failure-sensitive specification: A formal method for finding failure modes

erschienen 2004 in: Augsburg Technical Report 3, Institut fuer Informatik, University Augsburg

Downloads:

download pdf version - (2004-fs-spec-pdf.pdf, 261 KB)
download postscript version - (2004-fs-spec-ps.ps, 278 KB)