By: A. Kundig and R. E. Buhrer

Product Description

Contains some lectures given in Spring 1986 at ETH Zrich 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.

Product Details