↓ Skip to main content
What is this page? Embed badge

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Overview of attention for book
Cover of 'Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations
  3. Altmetric Badge
    Chapter 2 Bond Graphs: A Unifying Framework for Modelling of Physical Systems
  4. Altmetric Badge
    Chapter 3 Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems
  5. Altmetric Badge
    Chapter 4 Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems
  6. Altmetric Badge
    Chapter 5 DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems
  7. Altmetric Badge
    Chapter 6 Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems
  8. Altmetric Badge
    Chapter 7 Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
  9. Altmetric Badge
    Chapter 8 AADL: A Language to Specify the Architecture of Cyber-Physical Systems
  10. Altmetric Badge
    Chapter 9 FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling
Attention for Chapter 7: Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
Altmetric Badge

Citations

dimensions_citation
13 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 13 publications that cite this research output.

13

The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.