Login / Signup

PAMELA + PVS.

Bettina Buth
Published in: AMAST (1997)
Keyphrases
  • theorem proving
  • formal verification
  • timed automata
  • xml schema
  • model checking
  • context aware
  • contextual information
  • first order logic
  • databases
  • artificial intelligence