Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986
著者
書誌事項
Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986
(Lecture notes in computer science, 284)
Springer-Verlag, c1987
- : gw
- : us
大学図書館所蔵 件 / 全55件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
内容説明・目次
目次
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.
「Nielsen BookData」 より