Formal Methods for Embedded Distributed Systems: How to master the complexity Book Discussion
Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)
by
Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)