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.

Towards formal verification for cyber-physically agnostic software: A case study

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin. Towards formal verification for cyber-physically agnostic software: A case study. In IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. pages 5509-5514, IEEE, 2017. [doi]

Authors

Dmitrii Drozdov

This author has not been identified. Look up 'Dmitrii Drozdov' in Google

Sandeep Patil

This author has not been identified. Look up 'Sandeep Patil' in Google

Victor Dubinin

This author has not been identified. Look up 'Victor Dubinin' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google
runs on