Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
James F. Leathrum
1990 – 1999
- 1996
[c6]Paul S. Miner, James F. Leathrum: Verification of IEEE Compliant Subtractive Division Algorithms. FMCAD 1996: 64-78
[c5]James F. Leathrum, K. A. Liburdy: A formal approach to requirements based testing in open systems standards. ICRE 1996: 94-101
[c4]James L. Crowley, James F. Leathrum, K. A. Liburdy: Issues in the Full Scale Use of Formal Methods for Automated Testing. ISSTA 1996: 71-78- 1994
[c3]G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy: The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. ICSE 1994: 233-240- 1993
[c2]James F. Leathrum, K. A. Liburdy: The Evolving Role of Testing in Open Systems Standards. ITC 1993: 273-274
[c1]
1980 – 1989
- 1985
[j3]Geoffrey George, James F. Leathrum: Orthogonality of Concerns in Module Closure. Softw., Pract. Exper. 15(2): 119-130 (1985)- 1982
[j2]Richard M. Weatherly Jr., James F. Leathrum: Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. Operating Systems Review 16(1): 10-13 (1982)
[j1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:46 CET by the dblp team



