Jeff Tian Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:12, pp:945-958 [Journal]
Jia Liang Han Program Partition and Logic Program Analysis. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:12, pp:959-968 [Journal]
Giacomo Bucci, Enrico Vicario Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:12, pp:969-992 [Journal]
Gordon S. Novak Creation of Views for Reuse of Software with Different Data Representations. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:12, pp:993-1005 [Journal]