Login / Signup

Formal development in B abstract machine notation.

Kevin LanoHoward P. Haughton
Published in: Inf. Softw. Technol. (1995)
Keyphrases
  • abstract machine
  • case study
  • data model
  • knowledge based systems
  • development process
  • data sets
  • database
  • computer vision
  • decision making
  • expert systems
  • artificial neural networks
  • software engineering
  • formal language