Items related to Foundations of Multi-Paradigm Modelling for Cyber-Physical...

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems - Softcover

 
9783030439477: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Softcover
ISBN 10: 303043947X ISBN 13: 9783030439477
Publisher: Springer, 2020

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2020
Language
English
ISBN 10 
303043947X
ISBN 13 
9783030439477
Binding
Paperback
Number of pages
308
Editor
Carreira Paulo, Amaral Vasco, Vangheluwe Hans

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783030439453: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Featured Edition

ISBN 10:  3030439453 ISBN 13:  9783030439453
Publisher: Springer, 2020
Hardcover