1 paper
Spencer Park, Emil Sekerinski
This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of c…