Work

Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project

Year: 2007

Type: conference-paper

Source: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP)

DOI: 10.1109/hcmdss-mdpnp.2007.36

Authors: David Arney, Raoul Jetley, Paul Jones, Insup Lee, Oleg Sokolsky

Institution: University of Pennsylvania

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Good health and well-being

Open Access status: closed

Funder: University of Pennsylvania

OpenAlex ID: W2149519129

FWCI: 3.038

Cites: 17

Cited by: 76

Related to: 10