↓ Skip to main content
What is this page? Embed badge

Formal Aspects of Component Software

Overview of attention for book
Cover of 'Formal Aspects of Component Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Good are Models?
  3. Altmetric Badge
    Chapter 2 Building Correct SDN Components from a Global Event-B Formal Model
  4. Altmetric Badge
    Chapter 3 Event-B Formalization of a Variability-Aware Component Model Patterns Framework
  5. Altmetric Badge
    Chapter 4 A Logical Characterization of Differential Privacy via Behavioral Metrics
  6. Altmetric Badge
    Chapter 5 Incremental Computation of Synthesis Rules for Free-Choice Petri Nets
  7. Altmetric Badge
    Chapter 6 Programming Dynamic Reconfigurable Systems
  8. Altmetric Badge
    Chapter 7 Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
  9. Altmetric Badge
    Chapter 8 Using Coloured Petri Nets for Resource Analysis of Active Objects
  10. Altmetric Badge
    Chapter 9 Adaptive Formal Framework for WMN Routing Protocols
  11. Altmetric Badge
    Chapter 10 IsaK-Static : A Complete Static Semantics of $$\mathbb {K}$$  
  12. Altmetric Badge
    Chapter 11 Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting
  13. Altmetric Badge
    Chapter 12 Actors with Coroutine Support in Java
  14. Altmetric Badge
    Chapter 13 Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
  15. Altmetric Badge
    Chapter 14 FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns
  16. Altmetric Badge
    Chapter 15 The SLCO Framework for Verified, Model-Driven Construction of Component Software
Attention for Chapter 3: Event-B Formalization of a Variability-Aware Component Model Patterns Framework
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.