Login / Signup
The CellML 1.1 Specification.
Autumn A. Cuellar
Warren Hedley
Melanie Nelson
Catherine M. Lloyd
Matt D. B. Halstead
David P. Bullivant
David P. Nickerson
Peter J. Hunter
Poul M. F. Nielsen
Published in:
J. Integr. Bioinform. (2015)
Keyphrases
</>
high level
specification language
multiscale
user defined
databases
genetic algorithm
preprocessing
software engineering
formal verification
database
feature selection
e learning
image processing
evolutionary algorithm
formal specification
formal methods