Login / Signup

Formal Specification of Telephone Features.

Peter MatagaPamela Zave
Published in: Z User Workshop (1994)
Keyphrases
  • formal specification
  • feature extraction
  • databases
  • database
  • real world
  • specification language
  • object oriented design
  • specification languages
  • feature set
  • formal methods