Automated theorem proving for the systematic analysis of an infusion pump

Thumbnail Image
Files
P-00K-DYV.pdf (204.65 KB)
Date
2013
Authors
Michael Douglas Harrison
Paolo Masci
José Creissac Campos
Curzon,P
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/4598
Collections
HASLab - Indexed Articles in Journals
 HASLab - Other Publications