Year | Venue | Keywords |
---|---|---|
1995 | IEICE Transactions | semantics,verification,assessment,reliability,formal methods,dependability |
Field | DocType | Volume |
Specification language,Data analysis,Nondeterministic algorithm,Computer science,Theoretical computer science,Equivalence (measure theory),Formal methods,System requirements specification,Semantics,Data flow diagram | Journal | 78-D |
Issue | Citations | PageRank |
8 | 0 | 0.34 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cinzia Bernardeschi | 1 | 226 | 31.87 |
Andrea Bondavalli | 2 | 886 | 133.06 |
Luca Simoncini | 3 | 184 | 24.69 |