Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986: 284 - Brossura

B¿¿hrer, Richard E.; K¿¿ndig, Albert; D¿¿hler, Jacques

 
9783540185819: Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986: 284

Contenuti

A note on the meaning of “Embedded systems”.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  038718581X ISBN 13:  9780387185811
Brossura