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 Component-Based Modeling in Mediator
-
Altmetric BadgeChapter 2 A Component-Oriented Framework for Autonomous Agents
-
Altmetric BadgeChapter 3 Coordination of Dynamic Software Components with JavaBIP
-
Altmetric BadgeChapter 4 A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
-
Altmetric BadgeChapter 5 Guarded Terms for Rewriting Modulo SMT
-
Altmetric BadgeChapter 6 On Weighted Configuration Logics
-
Altmetric BadgeChapter 7 Compositional Model Checking Is Lively
-
Altmetric BadgeChapter 8 Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
-
Altmetric BadgeChapter 9 TOM: A Model-Based GUI Testing Framework
-
Altmetric BadgeChapter 10 Correctness-by-Learning of Infinite-State Component-Based Systems
-
Altmetric BadgeChapter 11 The Implementation of Object Propositions: The Oprop Verification Tool
-
Altmetric BadgeChapter 12 Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
-
Altmetric BadgeChapter 13 Fault Localization in Service Compositions
-
Altmetric BadgeChapter 14 Correct Composition of Dephased Behavioural Models
Attention for Chapter 12:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services