HASE 2000 리포터 신청
2000-10-24
org.kosen.entty.User@194d3b35
김태호(dreamian)
행사&학회소개
보고서작성신청
HASE 2000은 11월 15일부터 17일까지, 미국 New Mexico의
Alburquerque에서 열리는 컨퍼런스로,
고 신뢰도 시스템의 개발, 검증에 관한 학회입니다.
주제로는
Formal Methods
Transformation-based system development
Model checking
Validation of specifications
Fault-tolerant software design
Experimental and model-based evaluation
Real-time validation of existing systems
Evolutionary design of complex systems
Hardware/software design tradeoffs
MEMS
Hardware architectures for high assurance systems
Software engineering for embedded systems
Security
Interoperability of secure systems
이 있으며, 본인은 이번 학회에 참석하려고 하고 있습니다.
이에 reporter로 신청합니다.
KAIST, 전산학과, 김태호
Alburquerque에서 열리는 컨퍼런스로,
고 신뢰도 시스템의 개발, 검증에 관한 학회입니다.
주제로는
Formal Methods
Transformation-based system development
Model checking
Validation of specifications
Fault-tolerant software design
Experimental and model-based evaluation
Real-time validation of existing systems
Evolutionary design of complex systems
Hardware/software design tradeoffs
MEMS
Hardware architectures for high assurance systems
Software engineering for embedded systems
Security
Interoperability of secure systems
이 있으며, 본인은 이번 학회에 참석하려고 하고 있습니다.
이에 reporter로 신청합니다.
KAIST, 전산학과, 김태호