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

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Browse the full IECON paper archive.