Work

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-662-45231-8_26

Authors: Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka

Institutions: Stony Brook University, Rochester Institute of Technology, Carnegie Mellon University, University of Maryland, College Park, University of Pennsylvania, Georgia Institute of Technology, United States Food and Drug Administration, Fraunhofer USA Center Mid-Atlantic CMA

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

OpenAlex ID: W2249702970

FWCI: 0.28

Cites: 21

Cited by: 3

Related to: 10