Login / Signup

Developing formally verified Ada programs.

Norman Ramsey
Published in: IWSSD (1989)
Keyphrases
  • image sequences
  • neural network
  • genetic algorithm
  • multi agent systems
  • relational databases
  • mobile robot