메뉴 건너뛰기




Volumn , Issue , 2006, Pages

Design space exploration of automotive platforms in Metropolis

Author keywords

[No Author keywords available]

Indexed keywords

COMPETITION; CONTROL SYSTEMS; NETWORK ARCHITECTURE; SPACE PLATFORMS; SYSTEMS ANALYSIS;

EID: 85072416332     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2006-01-1468     Document Type: Conference Paper
Times cited : (10)

References (9)
  • 4
    • 84877428827 scopus 로고    scopus 로고
    • Systems architecture: The empirical way - Abstract
    • Systems Architecture: The Empirical Way-Abstract, Hellestrand Graham R., EMSOFT 2005
    • EMSOFT 2005
    • Hellestrand, G.R.1
  • 6
    • 84877408371 scopus 로고    scopus 로고
    • SPIN Model Checking and Software Verification
    • (Eds.): Stanford, CA, USA, August 30 - September 1, Proceedings. Lecture Notes in Computer Science 1885 Springer 2000, ISBN 3-540-41030-9
    • Havelund Klaus, Penix John, Visser Willem, (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885 Springer 2000, ISBN 3-540-41030-9
    • (2000) 7th International SPIN Workshop
    • Havelund, K.1    Penix, J.2    Visser, W.3
  • 7
    • 84877431905 scopus 로고    scopus 로고
    • http://www2.cs.cmu.edu/afs/cs/user/raj/www/mars.html
    • Mars Pathfinder Priority Inversion, http://www2.cs.cmu.edu/afs/cs/user/ raj/www/mars.html
    • Mars Pathfinder Priority Inversion


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