Name
Year | Venue | Field |
|---|---|---|
2013 | NASA Formal Methods | Specification language,Model transformation,Programming language,Computer science,Verification,Formal specification,Language Of Temporal Ordering Specification,Control table,Formal methods,Workflow |
DocType | Citations | PageRank |
Conference | 4 | 0.45 |
References | Authors | |
5 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Phillip James | 1 | 73 | 7.24 |
| Matthew Trumble | 2 | 27 | 3.17 |
| Helen Treharne | 3 | 390 | 36.94 |
| Markus Roggenbach | 4 | 294 | 32.63 |
| Steve Schneider | 5 | 323 | 26.65 |