↓ 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 Compositional Simulation of Abstract State Machines for Safety Critical Systems
  3. Altmetric Badge
    Chapter 2 Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
  4. Altmetric Badge
    Chapter 3 Formally Characterizing the Effect of Model Transformations on System Properties
  5. Altmetric Badge
    Chapter 4 Interpretation and Formalization of the Right-of-Way Rules
  6. Altmetric Badge
    Chapter 5 Formal Model In-The-Loop for Secure Industrial Control Networks
  7. Altmetric Badge
    Chapter 6 Debugging of BPMN Processes Using Coloring Techniques
  8. Altmetric Badge
    Chapter 7 WEASY: A Tool for Modelling Optimised BPMN Processes
  9. Altmetric Badge
    Chapter 8 Embeddings Between State and Action Based Probabilistic Logics
  10. Altmetric Badge
    Chapter 9 Footprint Logic for Object-Oriented Components
  11. Altmetric Badge
    Chapter 10 Decompositional Branching Bisimulation Minimisation of Monolithic Processes
  12. Altmetric Badge
    Chapter 11 Realisability of Branching Pomsets
  13. Altmetric Badge
    Chapter 12 Liquidity Analysis in Resource-Aware Programming
  14. Altmetric Badge
    Chapter 13 Open Compliance in Multiparty Sessions
Attention for Chapter 8: Embeddings Between State and Action Based Probabilistic Logics
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
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
Embeddings Between State and Action Based Probabilistic Logics
Chapter number 8
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-20872-0_8
Book ISBNs
978-3-03-120871-3, 978-3-03-120872-0
Authors

Das, Susmoy, Sharma, Arpit

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.

This page is provided by Altmetric.