Login / Signup

Provably Correct Systems.

Jifeng HeC. A. R. HoareMartin FränzleMarkus Müller-OlmErnst-Rüdiger OlderogMichael SchenkeMichael R. HansenAnders P. RavnHans Rischel
Published in: FTRTFT (1994)
Keyphrases
  • provably correct
  • distributed systems
  • neural network
  • building blocks
  • e learning
  • case study
  • intelligent systems
  • computer systems
  • learning systems
  • complex systems
  • retrieval systems