Formal Methods for Embedded Distributed Systems
Subtitle: How to Master the Complexity
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9781402079979
Subjects: Electronic data processing, distributed processing; Embedded computer systems