1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...

2
by Sillars, Doug
Published 2014
O'Reilly Media
Table of Contents: ... -- Building Network-Aware Apps -- Accounting for Latency -- Last-Mile Latency -- "Other" Radios -- GPS...