Not logged in
Share
Save
Share
Save
Share
Save
Share
Save
Share
SaveToward 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
Share
Save
Share
Save
Share
Save
Share
Save
Share
Save
Share
Save
Share
Save
Share
SaveUsing 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
Share
Save
Share
Save
Share
Save
Share
Save
Share
Save