Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Devashish Shrivastava

1PUBLICATIONS

14CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Nov 05, 2025

Computational modeling and simulation for medical devices: a summary of the 2024 FDA/MDIC Symposium.

Brent A Craven, Christopher A Basciano, Payman Afshari

Pageof 1

Frequent Collaborators

1 joint publications

Brent A Craven

1 joint publications

Christopher A Basciano

1 joint publications

Payman Afshari

1 joint publications

Kenneth I Aycock

1 joint publications

Jeff J Ballyns

1 joint publications

Andrew P Baumann

1 joint publications

Jeffrey E Bischoff

1 joint publications

Jeffrey Bodner

1 joint publications

Mark Driscoll

1 joint publications

Alejandro Frangi

Frequent Collaborators

1 joint publications

Brent A Craven

1 joint publications

Christopher A Basciano

1 joint publications

Payman Afshari

1 joint publications

Kenneth I Aycock

Top Related Videos

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

Published on : May 27, 2022

See more related videos

Top Related Videos

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

Published on : May 27, 2022

See more related videos