메뉴 건너뛰기




Volumn , Issue , 2003, Pages 82-87

A proposal for transaction-level verification with Component Wrapper Language

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT WRAPPER LANGUAGES; CONVENTIONAL METHODS; DESIGN PHASE; NEW APPROACHES; PROTOCOL CHECKERS; TEST PATTERN; TRANSACTION LEVEL; TRANSACTION-LEVEL VERIFICATION;

EID: 84893771802     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1186676     Document Type: Conference Paper
Times cited : (9)

References (8)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.