Synthesis of embedded software
Subtitle: frameworks and methodologies for correctness by construction
By: Sandeep K. Shukla, Jean-Pierre Talpin (eds.).
Publisher: Springer
Published: 2010
Place of publication: New York
Language: eng
Number of pages: 266
ISBN-13: 9781441963994
Subjects: Development; Embedded computer systems; Signal processing; Programmation; Digital techniques; Systèmes enfouis (informatique); Computer software
Notes: Includes bibliographical references and index.