Communicating embedded systems
Subtitle: software and design : formal methods
By: edited by Claude Jard, Olivier H. Roux.
Contributors: Jard, Claude.; Roux, Olivier H.
Publisher: ISTE Ltd/John Wiley and Sons
Published: 2009
Place of publication: Hoboken, NJ
Language: eng
ISBN-13: 9781848211438
Subjects: Embedded computer systems -- Programming; Embedded computer systems -- Design and construction; Computer software -- Development; Formal methods (Computer science)
Work titles: Approches formelles des systèmes embarqués communicants. English
Notes: Includes bibliographical references and index.