1 Table of Contents: “... in Software Testing -- FPGA-based encryption for peer-to-peer industrial network links -- Formalization...”

2 Table of Contents: “... of Web Services in BPEL Process -- Formation of Service Value Networks for Decentralized Service...”

3 Subjects: “...Computer Communication Networks...”

4 Table of Contents: “... Related to TACAS -- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation...”

5 Table of Contents: “... on telephony -- Convergence of telecommunications and computing on networking models for integrated services...”

6 Subjects: “...Computer Communication Networks...”

7 Subjects: “...Computer networks ...”

8 Table of Contents: “... Compilation Models -- From Computational Thinking to Constructive Design with Simple Models -- Design...”

9 Subjects: “...Computer networks ...”

10 Table of Contents: “... Adding Variety to Simplicity -- Fun with Bitcoin smart contracts -- Computing Exact Worst-Case Gas...”

11 Table of Contents: “... -- Differential Equivalence yields Network Centrality --...”

12 Subjects: “...Computer Communication Networks...”

13 Subjects: “...Computer networks ...”

14 Table of Contents: “... Systems with Network Calculus -- NC-Maude: A Rewriting Tool to Play with Network Calculus -- DEBORAH: A...”

15 Table of Contents: “... Network -- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study -- Model-Checking Temporal...”

16 Subjects: “...Computer Communication Networks...”

17 Subjects: “...Computer Communication Networks...”

18 Table of Contents: “...-Oriented Formal Verification in Symmetric Interconnection Networks -- A Framework for Microprocessor...”

19 Table of Contents: “... -- Encouraging the Uptake of Formal Methods Training in an Industrial Context -- Computer-Supported Collaborative...”

20 Table of Contents: “... -- Centrality-preserving exact reductions of Multi-Layer Networks -- Towards Dynamic Dependable Systems through...”