Advanced Course: Embedded Systems 1986

Albert T. Kündig, Richard E. Bührer, Jacques Dähler (Eds.): Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Lecture Notes in Computer Science 284 Springer 1987, ISBN 3-540-18581-X BibTeX

@proceedings{DBLP:conf/ac/1986esys,
  editor    = {Albert T. K{\"u}ndig and
               Richard E. B{\"u}hrer and
               Jacques D{\"a}hler},
  title     = {Embedded Systems: New Approaches to Their Formal Description
               and Design, An Advances Course, Z{\"u}rich, Switzerland, March
               5-7, 1986},
  booktitle = {Embedded Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {284},
  year      = {1987},
  isbn      = {3-540-18581-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Albert T. Kündig: A Note on the Meaning of "Embedded Systems". 1-5 BibTeX
Wolfgang Fichtner: Design of VLSI Systems. 6-17 BibTeX
Wolfgang Reisig: Embedded System Description Using Petri Nets. 18-62 BibTeX
Raymond T. Boute: Elements for the Formal Description of Systems. 63-90 BibTeX
Raymond T. Boute: An Introduction to System Semantics. 91-107 BibTeX
Raymond T. Boute: Functional Formalisms for System Description: Current Research Topics. 108-126 BibTeX
Harry Rudin: Tools for Protocols Driven by Formal Specifications. 127-152 BibTeX
Simon L. Peyton Jones: Functional Programming Languages as a Software Engineering Tool. 153-173 BibTeX
Jochen Ludewig: Practical Methods and Tools for Specification. 174-207 BibTeX