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

researchr

You are not signed in
Sign in
Sign up

Albert T. Kündig, Richard E. Bührer, Jacques Dähler, editors, Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Volume 284 of Lecture Notes in Computer Science, Springer, 1987.

Conference: ac

Abstract is missing.

A Note on the Meaning of Embedded Systems Albert T. Kündig. 1-5

Design of VLSI SystemsWolfgang Fichtner. 6-17

Embedded System Description Using Petri NetsWolfgang Reisig. 18-62

Elements for the Formal Description of SystemsRaymond T. Boute. 63-90

An Introduction to System SemanticsRaymond T. Boute. 91-107

Functional Formalisms for System Description: Current Research TopicsRaymond T. Boute. 108-126

Tools for Protocols Driven by Formal SpecificationsHarry Rudin. 127-152

Functional Programming Languages as a Software Engineering ToolSimon L. Peyton Jones. 153-173

Practical Methods and Tools for SpecificationJochen Ludewig. 174-207

runs on WebDSL