Biology
Specification for Biosystems in the Presence of Unknowns
In our last post we discussed how two abstractions in L++ can be implemented to create highly specific and detailed descriptions of biosystems; however, before any design is implemented we should know how the final product should be assembled and how it should behave when it is complete. L++ allows Read more…
