E-LIB Suche - Ergebnisse für: Drozdov, Dmitrii

1

A Formal Model of IEC 61499-Based Industrial Automation Arc..:

Drozdov, Dmitrii ; Dubinin, Victor ; Patil, Sandeep.
IEEE Open Journal of the Industrial Electronics Society. 2 (2021) - p. 169-183 , 2021

Link: https://doi.org/10.1109/..

2

Arrowhead Datamanager integration with Eclipse 4DIAC enviro..:

, In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Romanato, Marco ; Drozdov, Dmitrii ; Patil, Sandeep.. - p. 1377-1380 , 2020

Link: https://doi.org/10.1109/..

3

Utilizing Software Design Patterns in Product-Driven Manufa..:

, In: Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future; Studies in Computational Intelligence,

Drozdov, Dmitrii ; Atmojo, Udayanto Dwi ; Pang, Cheng... - p. 301-312 , 2019

Link: https://doi.org/10.1007/..

4

Towards formal ASM semantics of timed control systems for i..:

, In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Drozdov, Dmitrii ; Patil, Sandeep ; Dubinin, Victor. - p. 1682-1685 , 2019

Link: https://doi.org/10.1109/..

5

Detection of left ventricular systolic dysfunction in patie..:

Sakhnova, Tamara A. ; Blinova, Elena V. ; Dotsenko, Yulia V...
Terapevticheskii arkhiv. 96 (2024) 4 - p. 337-341 , 2024

Link: https://doi.org/10.26442..

6

Artificial intelligence in clinical physiology: How to impr..:

Shutov, Dmitry V. ; Sharova, Dariya E. ; Abuladze, Liya R..
Digital Diagnostics. 4 (2023) 1 - p. 81-88 , 2023

Link: https://doi.org/10.17816..

7

A formal model of IEC 61499-based industrial automation arc..:

Drozdov, Dmitrii ; Dubinin, Victor ; Patil, Sandeep.
IEEE Open Journal of the Industrial Electronics Society. , 2021

Link: https://aaltodoc.aalto.f..

8

Development and Verification of Dependable Software of Cybe..:

Drozdov, Dmitrii
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, 1402-1544. , 2021

Link: http://urn.kb.se/resolve..

9

Utilizing software design patterns in product-driven manufa..:

Drozdov, Dmitrii ; Atmojo, Udayanto Dwi ; Pang, Cheng...
International Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing. , 2020

Link: https://aaltodoc.aalto.f..

10

Towards formal ASM semantics of timed control systems for i..:

Drozdov, Dmitrii ; Patil, Sandeep ; Dubinin, Victor.
International Conference on Emerging Technologies and Factory Automation (ETFA). , 2019

Link: http://urn.kb.se/resolve..

11

Cloud-Based Framework for Practical Model-Checking of Indus..:

Patil, Sandeep ; Drozdov, Dmitrii ; Dubinin, Victor.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-16766-4_8. , 2015

Link: https://hal.inria.fr/hal..

12

Cloud-Based Framework for Practical Model-Checking of Indus..:

Patil, Sandeep ; Drozdov, Dmitrii ; Dubinin, Victor.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-16766-4_8. , 2015

Link: https://hal.inria.fr/hal..

13

A Formal Model of IEC 61499-Based Industrial Automation Arc..:

Dmitrii Drozdov ; Victor Dubinin ; Sandeep Patil.
https://ieeexplore.ieee.org/document/9345533/. , 2021

Link: https://doi.org/10.1109/..

14

Arrowhead Datamanager integration with Eclipse4DIAC environ..:

Marco Romanato ; Dmitrii Drozdov ; Sandeep Patil..
info:eu-repo/grantAgreement/EC/H2020/826452/. , 2020

Link: https://zenodo.org/recor..

15

Structure maintenance experience and the need to control th..:

Anatolii V. Brushkov ; Andrei G. Alekseev ; Svetlana V. Badina...
https://pmi.spmi.ru/pmi/article/view/16277?setLocale=en_US. , 2023

Link: https://doaj.org/article..