Combining the Design of Industrial Systems with Effective Verification Techniques.

Jorge Cullar, Isolde Wildgruber, Dieter Barnard

Browse the full FM paper archive.