Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Dmitry Muromsky"'
Autor:
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
Publikováno v:
IEEE Open Journal of the Industrial Electronics Society, Vol 5, Pp 616-631 (2024)
The design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures. In this article, we focus on the latter and use formal
Externí odkaz:
https://doaj.org/article/e68d9eaddc47479392ed391638d38f68