Alan Garny

3PUBLICATIONS
70CO-AUTHORS
Formal methods for softwareDynamical systems in applications
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

|Apr 13, 2024
The simulation experiment description markup language (SED-ML): language specification for level 1 version 5.

Lucian P Smith, Frank T Bergmann, Alan Garny

|May 07, 2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools.

Bilal Shaikh, Lucian P Smith, Dan Vasilescu

|Aug 08, 2020
CellML 2.0.

Michael Clerx, Michael T Cooling, Jonathan Cooper

Pageof 1