ISSE

Search

Combining Formal Methods and Safety Analysis - the ForMoSA Approach

F. Ortmeier, A. Thums, G. Schellhorn, and W. Reif

Combining Formal Methods and Safety Analysis - the ForMoSA Approach

published 2004 H. Ehrig, Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147

Publisher: Springer


Downloads: