Login / Signup

Formal Methods applied to Plywood Production.

Rosziati IbrahimMarlene Lu
Published in: QSIC (2003)
Keyphrases
  • formal methods
  • formal analysis
  • formal specification
  • database
  • databases
  • information systems
  • case study
  • relational databases
  • query language
  • software engineering