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, Fisher, Michael ORCID: 0000-0002-0875-3862, Papacchini, Fabio and Ferrando, Angelo ORCID: 0000-0002-8711-4670
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 Sat Nov 9 19:36:18 2019 GMT.