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]
Abstract is missing.