메뉴 건너뛰기




Volumn , Issue , 1999, Pages 684-688

Specification and validation of distributed IP-based designs with JavaCAD

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT EVALUATION; INTELLECTUAL PROPERTY PROTECTION; IP PROTECTION; REMOTE COMPONENTS; SECURE INTERNET PROTOCOLS; SMOOTH TRANSITIONS;

EID: 0002372570     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1999.761203     Document Type: Conference Paper
Times cited : (19)

References (16)
  • 1
    • 0029224159 scopus 로고
    • Tool integration and construction using generated graph-baseddesign representation
    • A. Bedenfeld and R. Camposano. Tool integration and construction using generated graph-baseddesign representation. Proc. of the Design Automation Conference, pages 94-99, 1995.
    • (1995) Proc. of the Design Automation Conference , pp. 94-99
    • Bedenfeld, A.1    Camposano, R.2
  • 6
    • 0031645551 scopus 로고    scopus 로고
    • Design and specificationof embeddedsystems in java using successive, formal refinement
    • J.Young et al. Design and specificationof embeddedsystems in Java using successive, formal refinement. Proc. of the Design Automation Conference, pages 70-75, 1998.
    • (1998) Proc. of the Design Automation Conference , pp. 70-75
    • Young, J.1


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