ISSE

Search

Interactive Verification of Statecharts

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

Interactive Verification of Statecharts

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

Publisher: Springer


Downloads: