Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D
No. 12
pp. 2623-2633
Type of Manuscript:
Special Section PAPER (Special Issue on Dependable Computing) Category: Verification and Dependability Analysis Keyword: safety-critical systems, control systems, error modeling, error analysis, |