Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D
No. 12 ;
pp. 2601-2611
Type of Manuscript:
Special Section PAPER (Special Issue on Dependable Computing)
Category: Verification and Dependability Analysis
Keyword:
Level-oriented model, timed asynchronous circuits, formal verification, time Petri nets, |