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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata