On Weak Modal Compatibility, Refinement, and the MIO Workbench.

Sebastian S. Bauer Philip Mayer Andreas Schroeder Rolf Hennicker

Published in: TACAS (2010)

Keyphrases

modal logic
database
learning algorithm
real world
refinement process
web services
case study
multiscale
data structure
multi agent systems
expert systems
step wise
refinement step