Showing 4,021 - 4,040 results of 12,817 for search 'Eutin~', query time: 2.05s Refine Results
  1. 4021

    Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

    Published 2020
    Table of Contents: “…Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling.…”
    Link to Metadata
    Electronic eBook
  2. 4022
  3. 4023
  4. 4024
  5. 4025
  6. 4026
  7. 4027
  8. 4028
  9. 4029
  10. 4030
  11. 4031
  12. 4032
  13. 4033
  14. 4034
  15. 4035
  16. 4036
  17. 4037
  18. 4038
  19. 4039
  20. 4040