Cargando…

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear power plants and telecommunication systems. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Gamatié, Abdoulaye (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Acceso en línea:Texto Completo

Ejemplares similares