Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986 / [electronic resource] :
edited by A. Kündig, R. E. Bührer, J. Dähler.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
- VIII, 212 p. online resource.
- Lecture Notes in Computer Science, 284 0302-9743 ; .
- Lecture Notes in Computer Science, 284 .
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.
9783540480211
10.1007/BFb0016343 doi
Computer science.
Computer Science.
Programming Techniques.
QA76.6-76.66
005.11
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.
9783540480211
10.1007/BFb0016343 doi
Computer science.
Computer Science.
Programming Techniques.
QA76.6-76.66
005.11