Executable Biochemical Space for Specification and Analysis of Biochemical Systems.

Matej Troják David Safránek Lubos Brim Jakub Salagovic Jan Cervený

Published in: SASB (2020)

Keyphrases

experimental data
quantitative analysis
expert systems
management system
statistical analysis
formal specification
real time
artificial intelligence
information systems
multi agent systems
data analysis
search space
learning systems
space time
biological systems