1
Published 2017
Springer International Publishing
Table of Contents: ...Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network...