Blick ins Buch

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2014

Frank Oppenheimer, Julio Luis Medina Pasaje (Herausgeber)

Buch | Hardcover

VI, 205 Seiten

2015 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-24455-6 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Electrical Engineering
Zusatzinfo	VI, 205 p. 84 illus., 63 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Weitere Themen ► Hardware
Themenwelt	Technik ► Elektrotechnik / Energietechnik
Schlagworte	Automatic Synthesis • Circuits and Systems • Computer Hardware • Design Specification Languages • Design Verification • Electronics and Microelectronics, Instrumentation • Embedded Systems • Engineering • FDL 2014 • Mechanized Debugging • Rapid Prototyping
ISBN-10	3-319-24455-8 / 3319244558
ISBN-13	978-3-319-24455-6 / 9783319244556
Zustand	Neuware