Standard

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). / Naumchev, Alexandr; Sadovykh, Andrey; Ivanov, Vladimir.

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, 2019. стр. 351-363 30 (Software Technology: Methods and Tools; Том 11771).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Harvard

Naumchev, A, Sadovykh, A & Ivanov, V 2019, VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). в VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)., 30, Software Technology: Methods and Tools, Том. 11771, Springer, стр. 351-363. https://doi.org/10.1007/978-3-030-29852-4_30

APA

Naumchev, A., Sadovykh, A., & Ivanov, V. (2019). VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). в VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) (стр. 351-363). [30] (Software Technology: Methods and Tools; Том 11771). Springer. https://doi.org/10.1007/978-3-030-29852-4_30

Vancouver

Naumchev A, Sadovykh A, Ivanov V. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). в VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer. 2019. стр. 351-363. 30. (Software Technology: Methods and Tools). doi: 10.1007/978-3-030-29852-4_30

Author

Naumchev, Alexandr ; Sadovykh, Andrey ; Ivanov, Vladimir. / VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, 2019. стр. 351-363 (Software Technology: Methods and Tools).

BibTeX

@inbook{175a65fded9249d0bd814657400637a4,
title = "VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)",
author = "Alexandr Naumchev and Andrey Sadovykh and Vladimir Ivanov",
note = "Naumchev, A., Sadovykh, A., Ivanov, V. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) / A. Naumchev, A. Sadovykh, V. Ivanov // Software Technology: Methods and Tools. TOOLS 2019. Lecture Notes in Computer Science() // Mazzara, M., Bruel, JM., Meyer, B., Petrenko, A. (eds). - Springer, Cham.: 2019. - 11771. - P.351-363. - DOI: 10.1007/978-3-030-29852-4_30 ",
year = "2019",
month = oct,
day = "8",
doi = "10.1007/978-3-030-29852-4_30",
language = "English",
isbn = "978-3-030-29851-7",
series = "Software Technology: Methods and Tools",
publisher = "Springer",
pages = "351--363",
booktitle = "VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)",
address = "United States",

}

RIS

TY - CHAP

T1 - VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

AU - Naumchev, Alexandr

AU - Sadovykh, Andrey

AU - Ivanov, Vladimir

N1 - Naumchev, A., Sadovykh, A., Ivanov, V. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) / A. Naumchev, A. Sadovykh, V. Ivanov // Software Technology: Methods and Tools. TOOLS 2019. Lecture Notes in Computer Science() // Mazzara, M., Bruel, JM., Meyer, B., Petrenko, A. (eds). - Springer, Cham.: 2019. - 11771. - P.351-363. - DOI: 10.1007/978-3-030-29852-4_30

PY - 2019/10/8

Y1 - 2019/10/8

U2 - 10.1007/978-3-030-29852-4_30

DO - 10.1007/978-3-030-29852-4_30

M3 - Chapter

SN - 978-3-030-29851-7

T3 - Software Technology: Methods and Tools

SP - 351

EP - 363

BT - VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

PB - Springer

ER -

ID: 65526060