Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Oppenheimer, Frank (Επιμελητής έκδοσης), Medina Pasaje, Julio Luis (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Electrical Engineering, 361
• Θέματα: Engineering.; Computer hardware.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Computer Hardware.

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...

Πίνακας περιεχομένων:

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