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

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

Ful tanımlama

Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Oppenheimer, Frank (Editör), Medina Pasaje, Julio Luis (Editör)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2016.
Imprint: Springer,
Edisyon:1st ed. 2016.
Seri Bilgileri:Lecture Notes in Electrical Engineering, 361
Konular:
Electronic circuits.
Electronics.
Computers.
Electronic Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
Computer Hardware.
Online Erişim:Full-text access
İçindekiler:
  • Formal Models & Verification & Predictability
  • Languages for Requirements
  • Parallel Architectures
  • Modelling and Verification of power properties.

Benzer Materyaller