Stepwise Refinement of Control Software - A Case Study Using RAISE.

Franois Erasmy, Emil Sekerinski

Browse the full FM paper archive.