Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D
No. 1 ;
pp. 51-56
Type of Manuscript:
Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword:
safety, correctness, object-oriented design, design review, |