Login / Signup

Formal Specification of Dynamic Constraints with the B Method.

Henri HabriasB. Griech
Published in: ICFEM (1997)
Keyphrases
  • formal specification
  • information systems
  • video sequences
  • databases
  • web services
  • knowledge representation