未登录
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation迈向全堆栈的计算机合成生物学: 集成模型规范,模拟,验证和生物编译
Konur, Savas; Mierla, Laurentiu; Fellermann, Harold; Ladroue, Christophe; Brown, Bradley; Wipat, Anil; Twycross, Jamie; Dun, Boyang Peter; Kalvala, Sara; Gheorghe, Marian; Krasnogor, Natalio
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏Using Formal Specifications to Support Testing使用正式规范支持测试
Hierons, Robert M.; Bogdanov, Kirill; Bowen, Jonathan P.; Cleaveland, Rance; Derrick, John; Dick, Jeremy; Gheorghe, Marian; Harman, Mark; Kapoor, Kalpesh; Krause, Paul; Luettgen, Gerald; Simons, Anthony J. H.; Vilkomir, Sergiy; Woodward, Martin R.; Zedan, Hussein
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏