External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov 0001. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). In Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer 0001, Alexander K. Petrenko, editors, Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings. Volume 11771 of Lecture Notes in Computer Science, pages 351-363, Springer, 2019. [doi]

Authors

Alexandr Naumchev

This author has not been identified. Look up 'Alexandr Naumchev' in Google

Andrey Sadovykh

This author has not been identified. It may be one of the following persons: Look up 'Andrey Sadovykh' in Google

Vladimir Ivanov 0001

This author has not been identified. Look up 'Vladimir Ivanov 0001' in Google
runs on