메뉴 건너뛰기




Volumn , Issue , 2000, Pages

Transition methodology from specifications to a network of ECUs exemplarily with ASCET-SD and VCC

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE INDUSTRY; HARDWARE; INTELLECTUAL PROPERTY; SEMANTICS; SPECIFICATIONS;

EID: 85072468452     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2000-01-0720     Document Type: Conference Paper
Times cited : (3)

References (13)
  • 5
    • 0031097394 scopus 로고    scopus 로고
    • Design of Embedded Systems: Formal Methods, Validation and Synthesis
    • (n.) - March
    • Edwards S., Lavagno L., Lee E., Sangiovanni-Vincentelli A.,. Design of Embedded Systems: Formal Methods, Validation and Synthesis. Proceedings of the IEEE, vol. 85 (n. 3)-March 1997, p 366-290.
    • (1997) Proceedings of the IEEE , vol.85 , Issue.3 , pp. 366-290
    • Edwards, S.1    Lavagno, L.2    Lee, E.3    Sangiovanni-Vincentelli, A.4
  • 6
    • 0008080620 scopus 로고    scopus 로고
    • ETAS GmbH, ETAS GmbH
    • ETAS GmbH, Whitepaper ASCET-SD, ETAS GmbH, 1998.
    • (1998) Whitepaper ASCET-SD
  • 8
    • 0023365727 scopus 로고
    • Statecharts: A Visual Formalism for Complex Systems
    • Harel D.,. Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Programs, 8: 231-274, 1987.
    • (1987) Sci. Comput. Programs , vol.8 , pp. 231-274
    • Harel, D.1
  • 10
    • 0008135583 scopus 로고    scopus 로고
    • Standard Interface for Hardware Description Models
    • IEEE P1499 Technical Committee
    • IEEE P1499 Technical Committee. Standard Interface for Hardware Description Models. The Open Model Interface. 1997.
    • (1997) The Open Model Interface


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