↓ 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 13: Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
Altmetric Badge

Readers on

mendeley
1 Mendeley
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
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
Chapter number 13
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-02146-7_13
Book ISBNs
978-3-03-002145-0, 978-3-03-002146-7
Authors

Antti Siirtola, Keijo Heljanko, Siirtola, Antti, Heljanko, Keijo

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.