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 |
A Formal Verification Tool for UML Behavioral Diagrams
|
---|---|
Chapter number | 48 |
Book title |
Computational Science and Its Applications – ICCSA 2014
|
Published by |
Springer, Cham, June 2014
|
DOI | 10.1007/978-3-319-09144-0_48 |
Book ISBNs |
978-3-31-909143-3, 978-3-31-909144-0
|
Authors |
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar, dos Santos, Luciana Brasil Rebelo, Eras, Eduardo Rohde, de Santiago Júnior, Valdivino Alexandre, Vijaykumar, Nandamudi Lankalapalli |
Mendeley readers
The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 7 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Bachelor | 3 | 43% |
Student > Master | 2 | 29% |
Student > Doctoral Student | 1 | 14% |
Student > Ph. D. Student | 1 | 14% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 6 | 86% |
Engineering | 1 | 14% |