Formal methods for embedded distributed systems : how to master the complexity
Formal methods for embedded distributed systems : how to master the complexity
edited by Fabrice Kordon and Michel Lemoine
- Dordrecht ; Boston Kluwer Academic 2004
- xx, 263 p. : ill. ; 25 cm
Includes bibliographical references
9781402079962
2004051555
Electronic data processing - Distributed processing Embedded computer systems