Embedded systems ; new approaches to their formal description and design
v,207p. Lectures given in an advances course on New approaches to the architecture and the design of embedded systems held in Zurich in 1986. Embedded systems Dahler J, ed.Kundig A, ed.