First published 2008 in France by Hermes Science/Lavoisier entitled: Approches formelles des systèmes embarqués communicants © LAVOISIER 2008
First published 2010 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc.
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the undermentioned address:
ISTE Ltd27-37 St George’s RoadLondon SW19 4EUUK | John Wiley & Sons, Inc.111 River Street Hoboken, NJ 07030USA |
www.iste.co.uk | www.wiley.com |
© ISTE Ltd 2010
The rights of Claude Jard and Olivier H. Roux to be identified as the authors of this work have been asserted by them in accordance with the Copyright, Designs and Patents Act 1988.
Library of Congress Cataloging-in-Publication Data
Approches formelles des systèmes embarqués communicants. English
Communicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux. p. cm.
Includes bibliographical references and index.
ISBN 978-1-84821-143-8
1. Embedded computer systems--Programming. 2. Embedded computer systems--Design ...
Get Communicating Embedded Systems: Software and Design now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.