2004

Formal Methods for Embedded Distributed Systems

How to master the complexity

Editors:

ISBN: 978-1-4020-7996-2 (Print) 978-1-4020-7997-9 (Online)