ملخص: Contains some lectures given in Spring 1986 at ETH Zurich 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.

طبعة: Berlin: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 207 pp. ;24 cm
ISBN: 354018581X