Login / Signup

Toward Parametric Verification of Open Distributed Systems.

Mads DamLars-Åke FredlundDilian Gurov
Published in: COMPOS (1997)
Keyphrases
  • open distributed systems
  • web services
  • model checking
  • databases
  • information systems
  • decision making
  • trust model