Embedded Systems: New Approaches to Their Formal Description and Design : An Advanced Course

by A. Kundig, R. E. Buhrer, J. Dahler (Editor)

Contains some lectures given in Spring 1986 at ETH Zrich in the framework of an Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems. The lectures concentrate on description and design methods based on formal models, as applied to the development of computer based systems. Both hardware and software are treated. Special emphasis in the presentation of the theoretical basis is given to functional formalisms and Petri Nets.

207 pages, Paperback

First published October 1, 1987