Login / Signup

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

François ErasmyEmil Sekerinski
Published in: FME (1994)
Keyphrases
  • control software
  • control system
  • case study
  • test bed
  • logic programs
  • refinement process
  • step wise