Cover Image

Formal methods for embedded distributed systems : how to master the complexity /

Show other versions (1)
Bibliographic Details
Other Authors: Kordon, Fabrice, Lemoine, Michel, 1947-
Format: Book
Language:English
Published: Boston : Kluwer Academic, 2004.
Subjects:
Electronic data processing > Distributed processing.
Embedded computer systems.
Show all versions (2)