Embedded System Design: Modeling, Synthesis, Verification Ch3: Models of Computation October 18, 2012 Post navigation Previous Previous post: Embedded System Design: Modeling, Synthesis, Verification Ch 2: System Design MethodologiesNext Next post: Embedded System Design: Modeling, Synthesis, Verification Ch 3: System Design