Combining the Design of Industrial Systems with Effective Verification Techniques

• Authors:

• Jorge Cuéllar;Isolde Wildgruber;Dieter Barnard

• Affiliations:

• -;-;-

• Venue:
• FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
• Year:
• 1994