ISSE

Search

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

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


Downloads: