Formal methods for embedded distributed systems
Subtitle: how to master the complexity
By: edited by Fabrice Kordon and  Michel Lemoine.
Contributors: Kordon, Fabrice.; Lemoine, Michel, 1947-
Publisher: Kluwer Academic; Springer
Published: 2004
Place of publication: Boston
Language: eng
Number of pages: 263
Subjects: Electronic data processing -- Distributed processing.; Embedded computer systems.
Notes: Includes bibliographical references.