↓ 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 6: Multilabeled Petri Nets
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
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
Multilabeled Petri Nets
Chapter number 6
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-40914-2_6
Book ISBNs
978-3-03-040913-5, 978-3-03-040914-2
Authors

Kasper Dokter, Dokter, Kasper

View on publisher site

This page is provided by Altmetric.