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

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
6 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.