Sökning: "Dmitrii Drozdov"
Hittade 1 avhandling innehållade orden Dmitrii Drozdov.
1. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations
Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER
Resultatsidor:
1