Login / Signup

Automated theorem proving for the systematic analysis of an infusion pump.

Michael D. HarrisonPaolo MasciJosé Creissac CamposPaul Curzon
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
  • data acquisition
  • automated theorem proving
  • data analysis
  • query language
  • statistical analysis
  • object oriented
  • knowledge management
  • theorem prover