换一批
第一作者：
Abed, Sa'ed
作者：
关键词
program verificationdiseasesgeneticscancerformal logictheorem provingformal verificationdifferential equationsproteinstransfer functionsinference mechanismsLaplace transformsbiological systembiological circuitsgenetic circuitsassociated controllerscomputer simulation methodshigher-order-logic theorem provinganalysing linear biological systemsbio-controllerssynthetic biologydeductive reasoningreaction-based modelstransfer function based analysisdifferential equation based modelsphase laglead controllerscomputer systems
发布时间
2021-01-09
- 浏览0
IET systems biology
271-283页
相似文献
- 中文期刊
- 外文期刊
- 学位论文
- 会议论文
