Reasoning about Safety and Progress Using Contracts.

Imene Ben Hafaiedh Susanne Graf Sophie 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