Short Communication
Published: 18 January, 2024 | Volume 8 - Issue 1 | Pages: 001-002
Computational models used in specifying biological systems represent a complement and become an alternative to more widely used mathematical models. Amongst some of the advantages brought by these computational models, one can mention their executable semantics and mechanistic way of describing biological system phenomena. This short overview report enumerated some of the computational models utilised so far in systems and synthetic biology, the associated analysis and formal verification methods and tools, and a way of facilitating a broader use of this alternative approach.
Read Full Article HTML DOI: 10.29328/journal.abb.1001037 Cite this Article Read Full Article PDF
System and synthetic biology; Executable biology; Computational models; Formal methods; Model checking; User-friendly modelling; Healthcare; Cyber-physical systems
HSPI: We're glad you're here. Please click "create a new Query" if you are a new visitor to our website and need further information from us.
If you are already a member of our network and need to keep track of any developments regarding a question you have already submitted, click "take me to my Query."