상세 보기
자료 필터
자료유형
발행연도
1999 ~ 2026
1999 2026
키워드
언어
선택된 필터
- article
- conference
전체 304건 중 231번부터 240번까지의 결과를 표시합니다.
2004
Conference
FORMAL VERIFICATION OF PROTOCOL SPECIFIED IN LTS FOR RAILWAY SIGNALLING SYSTEMS
- 2004-05-19
Conference
LABORATORY INTEGRATION TESTING OF RAILWAY SIGNALLING SYSTEMS FOR HIGH-SPEED TRAIN
- 황종규 ;
- 이종우
- 2004-05-19
Article
Locomotive Scheduling Using Constraint Satisfaction Problems Programming Technique
- 황종규 ;
- 이종우 ;
- 박용진
- 2004-03
- KIEE International Transactions on Electrical Machinery and Energy Conversion Systems
- 대한전기학회
Conference
MULTI-WAVELENGTH-MINIMUM INTERFERENCE PATH ROUTING ALGORITHM FOR ESTABLISHING OPTIMAL OPTICAL-LSPS IN OVPN
- 황종규 ;
- 김성운 ;
- 박용진
- 2004-02-20
Article
Multi-wavelength-minimum interference path routing algorithm for establishing optimal optical-LSPs in OVPN
- Hwang, Jong-Gyu ;
- Ratajczak, Kamil ;
- Lee, Hyun-Jin ;
- Kim, Young-Bu ;
- Kim, Sung-Woon ;
- 외 1명
- 2004-02
- Lecture Notes in Computer Science
- SPRINGER-VERLAG BERLIN
2003