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.
X Demographics
Mendeley readers
| Chapter title |
Deep Statistical Model Checking
|
|---|---|
| Chapter number | 6 |
| Book title |
Formal Techniques for Distributed Objects, Components, and Systems
|
| Published in |
Formal Techniques for Distributed Objects, Components, and Systems, June 2020
|
| DOI | 10.1007/978-3-030-50086-3_6 |
| Book ISBNs |
978-3-03-050085-6, 978-3-03-050086-3
|
| Authors |
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz, Gros TP, Hermanns H, Hoffmann J, Klauck M, Steinmetz M, Gros, Timo P., Hermanns, Holger, Hoffmann, Jörg, Klauck, Michaela, Steinmetz, Marcel |
X Demographics
The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| United Kingdom | 1 | 50% |
| Unknown | 1 | 50% |
Demographic breakdown
| Type | Count | As % |
|---|---|---|
| Members of the public | 2 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Unknown | 16 | 100% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Master | 2 | 13% |
| Student > Ph. D. Student | 2 | 13% |
| Other | 1 | 6% |
| Lecturer | 1 | 6% |
| Lecturer > Senior Lecturer | 1 | 6% |
| Other | 3 | 19% |
| Unknown | 6 | 38% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 7 | 44% |
| Mathematics | 1 | 6% |
| Social Sciences | 1 | 6% |
| Engineering | 1 | 6% |
| Unknown | 6 | 38% |