Name
Year | Venue | Keywords |
|---|---|---|
2008 | SEKE | formal specification |
Field | DocType | Citations |
Specification language,Formal language,Systems engineering,Software engineering,Computer science,Correctness,Formal specification,Language Of Temporal Ordering Specification,Refinement,Formal methods,Formal verification | Conference | 6 |
PageRank | References | Authors |
1.36 | 15 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Irbis Gallegos | 1 | 9 | 3.13 |
| Omar Ochoa | 2 | 10 | 5.19 |
| ann q gates | 3 | 127 | 25.22 |
| Steve Roach | 4 | 282 | 27.39 |
| Salamah Salamah | 5 | 41 | 10.98 |
| Corina Vela | 6 | 6 | 1.36 |