Login / Signup

Reasoning about Safety and Progress Using Contracts.

Imene Ben HafaiedhSusanne GrafSophie Quinton
Published in: ICFEM (2010)
Keyphrases
  • supply chain
  • spatial reasoning
  • qualitative reasoning
  • formal theory
  • database
  • databases
  • data mining
  • information retrieval
  • data structure
  • expert systems
  • intelligent vehicles
  • nuclear power plant
  • moral hazard