Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-10702-8_12 | FMICS |
Field | DocType | Citations |
Programming language,Model checking,Computer science,Extended finite-state machine,Theoretical computer science,Automation,Scenario testing,Model-based testing,Test case,Promela,SPIN model checker | Conference | 4 |
PageRank | References | Authors |
0.43 | 24 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ugo Gentile | 1 | 36 | 6.52 |
| Stefano Marrone | 2 | 174 | 25.49 |
| Gianluca Mele | 3 | 8 | 0.83 |
| Roberto Nardone | 4 | 108 | 15.07 |
| Adriano Peron | 5 | 381 | 45.82 |