Search the dblp DataBase
John P. J. Kelly :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
John P. J. Kelly Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? [Citation Graph (0, 0)][DBLP ] Fehlertolerierende Rechensysteme, 1989, pp:134-149 [Conf ] Susan C. Murphy , Per Gunningberg , John P. J. Kelly Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:51-59 [Journal ] John P. J. Kelly , Thomas I. McVittie , Wayne I. Yamamoto Implementing Design Diversity to Achieve Fault Tolerance. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1991, v:8, n:4, pp:61-71 [Journal ] Dave E. Eckhardt , Alper K. Caglayan , John C. Knight , Larry D. Lee , David F. McAllister , Mladen A. Vouk , John P. J. Kelly An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:7, pp:692-702 [Journal ] John P. J. Kelly , Susan C. Murphy Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:2, pp:153-165 [Journal ] Search in 0.001secs, Finished in 0.002secs