Login / Signup

Formal methods into practice: case studies in the application of the B method.

Juan BicarreguiD. L. ClutterbuckGavin R. FinnieHoward P. HaughtonKevin LanoH. LesanD. W. R. M. MarshB. M. MatthewsMichael R. MouldingA. Richard NewtonBrian RitchieT. G. A. RushtonP. N. Scharbach
Published in: IEE Proc. Softw. Eng. (1997)
Keyphrases
  • case study
  • formal methods
  • significant improvement
  • real world
  • preprocessing
  • high accuracy
  • artificial intelligence
  • clustering method
  • neural network
  • similarity measure
  • support vector machine
  • lessons learned