Title | ||
---|---|---|
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models |
Year | Venue | Keywords |
---|---|---|
2005 | ICEIS (3) | formal specification |
Field | DocType | Citations |
Programming language,Computer science,Formal specification,Semi-formal,Formalism (philosophy) | Conference | 2 |
PageRank | References | Authors |
0.43 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manuel I. Capel | 1 | 52 | 17.35 |
Juan Antonio Holgado Terriza | 2 | 19 | 3.68 |