Communicating embedded systems : software and design : formal methods /
Jard, Claude.
Roux, Olivier H.
London : ISTE ; Hoboken, N.J. : Wiley,
2010.
Translation of: Approches formelles des systèmes embarqués communicants, published : France : Hermes Science/Lavoisier, 2008.
Includes bibliographical references and index.
Embedded computer systems
Embedded computer systems
Computer software
Formal methods (Computer science)