Executable Biochemical Space for Specification and Analysis of Biochemical Systems.

Matej Troják David Safránek Lubos Brim

Published in: CoRR (2020)

Keyphrases

experimental data
quantitative analysis
management system
intelligent systems
high level
search space
image analysis
computer systems
knowledge based systems
statistical analysis
formal specification
specification language
control flow
reactive systems