Programmable electronic devices designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations
Portable or implantable devices for infusion of insulin. Includes open-loop systems which may be patient-operated or controlled by a pre-set program and are designed for constant delivery of small quantities of insulin, increased during food ingestion, and closed-loop systems which deliver quantities of insulin automatically based on an electronic glucose sensor
Implanted fluid propulsion systems with self-contained power source for providing long-term controlled-rate delivery of drugs such as chemotherapeutic agents or analgesics. Delivery rate may be externally controlled or osmotically or peristatically controlled with the aid of transcutaneous monitoring
Programmanalyse -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
