Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems

DOI10.1515/9783110448436-003zbMath1377.93035OpenAlexW2524693235WikidataQ56681353 ScholiaQ56681353MaRDI QIDQ4602215

No author found.

Publication date: 9 January 2018

Published in: Systems, Analysis and Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9783110448436-003

zbMATH Keywords

model checking analysis real-time requirements stimulation networked automaton systems

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms ⋮ Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra

This page was built for publication: Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems