MPG.eBooks - Search Results - ((((nonfactor services) OR (connector service))) or (actor services))

Search alternatives:
nonfactor services » contractor services , factory services
connector service » connection service , connection services , connected services
actor services » factory services , sector services , action services

Cover Image

1

Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Table of Contents: “... of Predictable Data Flow in Fault-Tolerant Multicore Systems -- Reasoning about Connectors in Coq -- (Context...”