Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems — 1st ed. 2020. (English)
Free access
- New search for: Carreira, Paulo
- New search for: Amaral, Vasco
- New search for: Vangheluwe, Hans
2020
-
ISBN:
- Book / Electronic Resource
-
Title:Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
-
Contributors:
-
Published in:
-
Edition:1st ed. 2020.
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2020
-
Size:1 Online-Ressource(XX, 285 p. 157 illus., 54 illus. in color.)
-
Remarks:Open Access
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 005.1 -
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Multi-Paradigm Modelling for Cyber-Physical Systems: FoundationsCarreira, Paulo / Amaral, Vasco / Vangheluwe, Hans et al. | 2020
- 2
-
Bond Graphs: A Unifying Framework for Modelling of Physical SystemsBroenink, Jan F. et al. | 2020
- 3
-
Modelica: Equation-Based, Object-Oriented Modelling of Physical SystemsFritzson, Peter et al. | 2020
- 4
-
Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical SystemsGomes, Cláudio / Denil, Joachim / Vangheluwe, Hans et al. | 2020
- 5
-
DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained SystemsVan Tendeloo, Yentl / Vangheluwe, Hans et al. | 2020
- 6
-
Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed SystemsVan Mierlo, Simon / Vangheluwe, Hans et al. | 2020
- 7
-
Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event SystemsBuchs, Didier / Klikovits, Stefan / Linard, Alban et al. | 2020
- 8
-
AADL: A Language to Specify the Architecture of Cyber-Physical SystemsBlouin, Dominique / Borde, Etienne et al. | 2020
- 9
-
FTG+PM: Describing Engineering Processes in Multi-Paradigm ModellingChallenger, Moharram / Vanherpen, Ken / Denil, Joachim / Vangheluwe, Hans et al. | 2020