Show simple item record

dc.contributor.authorKonur, Savas
dc.date.accessioned2020-05-11T10:27:34Z
dc.date.available2020-05-11T10:27:34Z
dc.date.issued2020
dc.identifier.citationKonur S (2020) A review of modelling and verification approaches for computational biology. Technical Report. University of Bradford. Department of Computer Science.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17789
dc.description.abstractThis paper reviews most frequently used computational modelling approaches and formal verification techniques in computational biology. The paper also compares a number of model checking tools and software suits used in analysing biological systems and biochemical networks and verifiying a wide range of biological properties.en_US
dc.language.isoenen_US
dc.rights(c) 2020 University of Bradford.
dc.subjectModellingen_US
dc.subjectVerificationen_US
dc.subjectModel checkingen_US
dc.subjectBiologyen_US
dc.subjectComputational biologyen_US
dc.subjectBiological systemsen_US
dc.subjectBiochemical networksen_US
dc.subjectGene regulatory networksen_US
dc.titleA review of modelling and verification approaches for computational biologyen_US
dc.status.refereedYesen_US
dc.typeTechnical reporten_US
dc.type.versionPublished versionen_US
refterms.dateFOA2020-05-11T10:27:52Z


Item file(s)

Thumbnail
Name:
konur_2020.pdf
Size:
523.5Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record