Sign in
Embedded Systems
1986
1987
1986
1987
Keyphrases
Publications
volume 284, 1987
Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986
Embedded Systems
284 (1987)
1986
Harry Rudin
Tools for Protocols Driven by Formal Specifications.
Embedded Systems
(1986)
Wolfgang Reisig
Embedded System Description Using Petri Nets.
Embedded Systems
(1986)
Simon L. Peyton Jones
Functional Programming Languages as a Software Engineering Tool.
Embedded Systems
(1986)
Raymond T. Boute
Functional Formalisms for System Description: Current Research Topics.
Embedded Systems
(1986)
Jochen Ludewig
Practical Methods and Tools for Specification.
Embedded Systems
(1986)
Raymond T. Boute
Elements for the Formal Description of Systems.
Embedded Systems
(1986)
Albert T. Kündig
A Note on the Meaning of "Embedded Systems".
Embedded Systems
(1986)
Wolfgang Fichtner
Design of VLSI Systems.
Embedded Systems
(1986)
Raymond T. Boute
An Introduction to System Semantics.
Embedded Systems
(1986)