Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Oppenheimer, Frank (Editor ), Medina Pasaje, Julio Luis (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Lecture Notes in Electrical Engineering, 361
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Formal Models & Verification & Predictability
  • Languages for Requirements
  • Parallel Architectures
  • Modelling and Verification of power properties.