default search action

combined dblp search
author search
venue search
publication search

ask others

Advanced Course: Embedded Systems 1986

> Home > Conferences and Workshops > Advanced Course

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ac/1986esys
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/1986esys
Albert T. Kündig, Richard E. Bührer, Jacques Dähler:
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
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Kundig86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Kundig86
Albert T. Kündig:
A Note on the Meaning of "Embedded Systems". 1-5
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Fichtner86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Fichtner86
Wolfgang Fichtner:
Design of VLSI Systems. 6-17
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Reisig86b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Reisig86b
Wolfgang Reisig:
Embedded System Description Using Petri Nets. 18-62
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Boute86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Boute86
Raymond T. Boute:
Elements for the Formal Description of Systems. 63-90
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Boute86a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Boute86a
Raymond T. Boute:
An Introduction to System Semantics. 91-107
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Boute86b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Boute86b
Raymond T. Boute:
Functional Formalisms for System Description: Current Research Topics. 108-126
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Rudin86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Rudin86
Harry Rudin:
Tools for Protocols Driven by Formal Specifications. 127-152
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Jones86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Jones86
Simon L. Peyton Jones:
Functional Programming Languages as a Software Engineering Tool. 153-173
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Ludewig86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Ludewig86
Jochen Ludewig:
Practical Methods and Tools for Specification. 174-207

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.