Login / Signup

The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System.

Paul O. CollinsonSusan OppertSteven Hughes
Published in: SAFECOMP (1993)
Keyphrases
  • formal methods
  • formal analysis
  • development lifecycle
  • databases
  • software engineering
  • decision support
  • machine learning
  • information systems
  • high level
  • user interface
  • model checker
  • safety critical