메뉴 건너뛰기




Volumn , Issue 602, 2005, Pages 169-176

Software diversity by automation

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FLIGHT DYNAMICS; SPACE RESEARCH;

EID: 26944494584     PISSN: 03796566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (7)
  • 2
    • 26944470525 scopus 로고    scopus 로고
    • Ada95 language reference manual
    • [ARM95], International Standard ISO/IEC 8652:1995(E), Springer
    • [ARM95] Ada95 Language Reference Manual, International Standard ISO/IEC 8652:1995(E), Lecture Notes in Computer Science 1246, Springer, 1997, e.g. http://www.ada95.ch/compiler/gnat.html
    • (1997) Lecture Notes in Computer Science , vol.1246
  • 7
    • 0004144738 scopus 로고    scopus 로고
    • [MSC], Z.120, ITU General Secretariat, Sales Section, Place de Nations, CH-1211 Geneva 20, Switzerland
    • [MSC] Message Sequence Charts, Z.120, ITU General Secretariat, Sales Section, Place de Nations, CH-1211 Geneva 20, Switzerland
    • Message Sequence Charts


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