Sign in

Critical Systems Validation and Verification with CSP and FDR.

Michael GoldsmithIrfan Zakiuddin
Published in: FM-Trends (1998)
Keyphrases
  • database
  • expert systems
  • building blocks
  • social networks
  • complex systems
  • retrieval systems
  • real time
  • information retrieval
  • model checking
  • constraint satisfaction