Stepwise Refinement of Control Software - A Case Study Using RAISE

• Authors:

• François Erasmy;Emil Sekerinski

• Affiliations:

• -;-

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