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

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.

Remote Storage