메뉴 건너뛰기




Volumn 2, Issue PARTS A AND B, 2012, Pages 1143-1152

Towards automated exploration and assembly of vehicle design models

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMMERCE; COMPUTER AIDED ANALYSIS; COMPUTER AIDED DESIGN; FINITE ELEMENT METHOD; MODELING LANGUAGES; VEHICLES;

EID: 84884627467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC2012-71464     Document Type: Conference Paper
Times cited : (8)

References (10)
  • 1
    • 34547824056 scopus 로고    scopus 로고
    • Quo vadis SLD: Reasoning about trends and challenges of system-level design
    • March
    • Sangiovanni-Vincentelli, A. L., 2007. "Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design". Proc. of the IEEE, 95(3), March, pp. 467-506.
    • (2007) Proc. of the IEEE , vol.95 , Issue.3 , pp. 467-506
    • Sangiovanni-Vincentelli, A.L.1
  • 3
    • 0242527742 scopus 로고    scopus 로고
    • Model-integrated development of embedded software
    • Jan
    • Karsai, G., Sztipanovits, J., Ledeczi, A., and Bapty, T., 2003. "Model-integrated development of embedded software". Proc. of the IEEE, 91(1), Jan, pp. 145-164.
    • (2003) Proc. of the IEEE , vol.91 , Issue.1 , pp. 145-164
    • Karsai, G.1    Sztipanovits, J.2    Ledeczi, A.3    Bapty, T.4
  • 5
    • 0142156696 scopus 로고    scopus 로고
    • Constraint-based design-space exploration and model synthesis
    • R. Alur and I. Lee, eds. Vol. 2855 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg
    • Neema, S., Sztipanovits, J., Karsai, G., and Butts, K., 2003. "Constraint-based design-space exploration and model synthesis". In Embedded Software, R. Alur and I. Lee, eds., Vol. 2855 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, pp. 290-305.
    • (2003) Embedded Software , pp. 290-305
    • Neema, S.1    Sztipanovits, J.2    Karsai, G.3    Butts, K.4


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