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 Modeling Guidelines for Component-Based Supervisory Control Synthesis
-
Altmetric BadgeChapter 2 Modelling and Analysing Software in mCRL2
-
Altmetric BadgeChapter 3 A Formally Verified Model of Web Components
-
Altmetric BadgeChapter 4 Minimizing Characterizing Sets
-
Altmetric BadgeChapter 5 A Bond-Graph Metamodel:
-
Altmetric BadgeChapter 6 Multilabeled Petri Nets
-
Altmetric BadgeChapter 7 A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models
-
Altmetric BadgeChapter 8 Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
-
Altmetric BadgeChapter 9 RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
-
Altmetric BadgeChapter 10 State Identification for Labeled Transition Systems with Inputs and Outputs
-
Altmetric BadgeChapter 11 Combining State- and Event-Based Semantics to Verify Highly Available Programs
-
Altmetric BadgeChapter 12 Reowolf: Synchronous Multi-party Communication over the Internet
-
Altmetric BadgeChapter 13 Modeling and Verifying Dynamic Architectures with FACTum Studio
-
Altmetric BadgeChapter 14 Revisiting Trace Equivalences for Markov Automata
Attention for Chapter 9:
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers