Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986

@inproceedings{Kndig1986EmbeddedSN,
  title={Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Z{\"u}rich, Switzerland, March 5-7, 1986},
  author={Albert T. K{\"u}ndig and R. E. Buehrer and Jacques D{\"a}hler},
  booktitle={Embedded Systems},
  year={1986}
}
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. 

Similar Papers

Topics from this paper.