Work

Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level

Year: 2020

Type: conference-paper

Source: International Conference Computational Systems-Biology and Bioinformatics

DOI: 10.1145/3429210.3429225

Authors: Samuel Huang, Madeline Diep, Kuk Jang, Elizabeth M. Cherry, Flavio H. Fenton, Rance Cleaveland, Mikael Lindvall, Rahul Mangharam, Adam Porter

Institutions: University of Maryland, College Park, Fraunhofer USA Center for Sustainable Energy Systems, Fraunhofer USA, Fraunhofer USA Center Mid-Atlantic CMA, University of Pennsylvania, Georgia Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3107174769

FWCI: 0.269

Cites: 37

Cited by: 1

Related to: 10