Towards Scalable Modeling of Biology in Event-B.

Usman Sanwal Thai Son Hoang Luigia Petre Ion Petre

Published in: CoRR (2021)

Keyphrases

databases
genetic algorithm
spatio temporal
computational biology
molecular biology
highly scalable
web scale
memory efficient