Author:
Zulkernine Mohammad,Seviora Rudolph E.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lect Notes Comput Sci;C.A.R. Hoare,1996
2. R. Glass, “Persistent Software Errors,” IEEE Transactions on Software Engineering, 7(2), pp. 162–168, March 1981.
3. D. Kuhn, “Sources of Failure in the Public Switched Telephone Network,” IEEE Computer, vol. 30, no. 4, pp. 31–36, April 1997.
4. Lect Notes Comput Sci;W. P. Roever de,1997
5. J. Misra and K. Chandy, “Proofs of Networks of Processes,” IEEE Transactions on Software Engineering, 7(4), pp. 417–426, July 1981.