↓ 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
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Event-B Formalization of a Variability-Aware Component Model Patterns Framework
Chapter number 3
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-02146-7_3
Book ISBNs
978-3-03-002145-0, 978-3-03-002146-7
Authors

Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali

View on publisher site

This page is provided by Altmetric.