Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.

Zhao, Xingyu, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael ORCID: 0000-0002-0875-3862, Papacchini, Fabio and Ferrando, Angelo ORCID: 0000-0002-8711-4670
(2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Proceedings of 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway (September 2019).

This list was generated on Fri May 15 19:15:56 2020 BST.