×
![]( "Buchcover ISBN 9783540480211")
Embedded Systems
New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
herausgegeben von Albert Kündig, Richard E. Bührer und Jacques DählerInhaltsverzeichnis
- 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.
