Formal Aspects of Component Software
Book chapter (January 2024)
The most recent citing publication is shown below. View this citation on Dimensions.
Formal Aspects of Component Software
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Compositional Simulation of Abstract State Machines for Safety Critical Systems
-
Altmetric BadgeChapter 2 Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
-
Altmetric BadgeChapter 3 Formally Characterizing the Effect of Model Transformations on System Properties
-
Altmetric BadgeChapter 4 Interpretation and Formalization of the Right-of-Way Rules
-
Altmetric BadgeChapter 5 Formal Model In-The-Loop for Secure Industrial Control Networks
-
Altmetric BadgeChapter 6 Debugging of BPMN Processes Using Coloring Techniques
-
Altmetric BadgeChapter 7 WEASY: A Tool for Modelling Optimised BPMN Processes
-
Altmetric BadgeChapter 8 Embeddings Between State and Action Based Probabilistic Logics
-
Altmetric BadgeChapter 9 Footprint Logic for Object-Oriented Components
-
Altmetric BadgeChapter 10 Decompositional Branching Bisimulation Minimisation of Monolithic Processes
-
Altmetric BadgeChapter 11 Realisability of Branching Pomsets
-
Altmetric BadgeChapter 12 Liquidity Analysis in Resource-Aware Programming
-
Altmetric BadgeChapter 13 Open Compliance in Multiparty Sessions
Attention for Chapter 3:
Formally Characterizing the Effect of Model Transformations on System Properties
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions