Travelled to:
1 × Spain
Collaborated with:
E.Sekerinski
Talks about:
stepwis (1) softwar (1) control (1) studi (1) refin (1) rais (1) case (1) use (1)
Person: François Erasmy
DBLP: Erasmy:Fran=ccedil=ois
Contributed to:
Wrote 1 papers:
- FME-1994-ErasmyS #case study #refinement #using
- Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.