Umfang:
Online-Ressource (IV, 207 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540480211
Serie:
Lecture notes in computer science 284
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 354018581X
Weitere Ausg.:
ISBN 038718581X
Weitere Ausg.:
ISBN 9783540185819
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Embedded systems Berlin : Springer, 1987 ISBN 354018581X
Weitere Ausg.:
ISBN 038718581X
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Echtzeitsystem
;
Systementwicklung
;
Verteiltes System
;
Systementwicklung
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
