Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Generalizations and Applications of Dijkstra’s Guarded Commands -- 3 Refinement and Program Composition -- A...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Components -- Reusable Services and Semi-automatic Service Composition for Automotive Software...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... and Correctness of Reactive Rule-Based Programs -- Compositional Verification of CCS Processes -- Compositional...”
Cover Image
Read Now

5
Published 2021
Springer International Publishing
Table of Contents: “...-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving...”
Cover Image
Read Now

6
by Broy, Manfred, Stølen, Ketil
Published 2001
Springer New York
Table of Contents: “... Buffer -- 2.3 Station 2: Unbounded Lossy Buffer -- 2.4 Station 3: Driver -- 2.5 Station 4: Composite...”
Cover Image
Read Now

7
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... for refinement -- A compositional semantics of combining forms for gamma programs -- Algebraic properties of loop...”
Cover Image
Read Now

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Memory Management in Java -- A Software Composition Language and Its Implementation -- Editor Definition...”