You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Mendeley readers
Chapter title |
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
|
---|---|
Chapter number | 6 |
Book title |
Software Engineering and Formal Methods
|
Published by |
Springer, Cham, September 2019
|
DOI | 10.1007/978-3-030-30446-1_6 |
Book ISBNs |
978-3-03-030445-4, 978-3-03-030446-1
|
Authors |
Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando, Zhao, Xingyu, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei, Fisher, Michael, Papacchini, Fabio, Ferrando, Angelo |
Mendeley readers
The data shown below were compiled from readership statistics for 29 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 29 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 6 | 21% |
Researcher | 5 | 17% |
Student > Postgraduate | 2 | 7% |
Student > Doctoral Student | 1 | 3% |
Student > Bachelor | 1 | 3% |
Other | 6 | 21% |
Unknown | 8 | 28% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 9 | 31% |
Engineering | 6 | 21% |
Business, Management and Accounting | 1 | 3% |
Arts and Humanities | 1 | 3% |
Social Sciences | 1 | 3% |
Other | 1 | 3% |
Unknown | 10 | 34% |