요약 | 본 발명은 XML 문서에서 노드의 갱신(신규 노드의 삽입)이 발생하였을 때의 노드에 대한 레이블링 방법에 관한 것이며, 아울러 삭제된 레이블을 재사용할 수 있는 레이블링 방법에 관한 것이다. 본 명세서에서 개시하는 레이블링 방법은 (a)확장성 표기 언어 문서에서 부모 노드를 상속하는 자식 노드의 레이블을 이진 스트링으로 구성하는 단계; (b)상기 확장성 표기 언어 문서에 새로운 노드가 삽입되는 경우, 상기 삽입되는 노드의 위치가 상기 문서로부터 삭제된 노드의 위치와 동일한지를 판단하는 단계; (c)상기 판단 결과 동일하지 아니한 경우에는 상기 삽입되는 위치와 이웃한 형제 노드의 레이블을 이용하여 상기 새로운 노드의 레이블을 설정하는 단계; 및 (d)상기 판단 결과 동일한 경우에는 상기 삭제된 노드의 레이블을 상기 새로운 노드의 레이블로 설정하는 단계를 포함하여 본 발명의 과제를 해결한다. |
---|---|
Int. CL | G06F 17/00 (2006.01) G06F 17/30 (2006.01) |
CPC | G06F 17/227(2013.01) G06F 17/227(2013.01) G06F 17/227(2013.01) |
출원번호/일자 | 1020070131067 (2007.12.14) |
출원인 | 고려대학교 산학협력단 |
등록번호/일자 | 10-0914311-0000 (2009.08.20) |
공개번호/일자 | 10-2009-0004379 (2009.01.12) 문서열기 |
공고번호/일자 | (20090828) 문서열기 |
국제출원번호/일자 | |
국제공개번호/일자 | |
우선권정보 |
대한민국 | 1020060138740 | 2006.12.29
|
법적상태 | 소멸 |
심사진행상태 | 수리 |
심판사항 | |
구분 | |
원출원번호/일자 | |
관련 출원번호 | |
심사청구여부/일자 | Y (2007.12.14) |
심사청구항수 | 3 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 고려대학교 산학협력단 | 대한민국 | 서울특별시 성북구 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 이상근 | 대한민국 | 서울 동대문구 |
2 | 고혜경 | 대한민국 | 서울 노원구 |
3 | 박상현 | 대한민국 | 서울 성북구 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 현종철 | 대한민국 | 서울특별시 중구 다산로 **, *층 특허법인충현 (신당동, 두지빌딩) |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 고려대학교 산학협력단 | 대한민국 | 서울특별시 성북구 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 [Patent Application] Patent Application |
2007.12.14 | 수리 (Accepted) | 1-1-2007-0901180-88 |
2 | [출원서등 보정]보정서 [Amendment to Patent Application, etc.] Amendment |
2008.01.22 | 수리 (Accepted) | 1-1-2008-0054222-18 |
3 | 보정요구서 Request for Amendment |
2008.01.23 | 발송처리완료 (Completion of Transmission) | 1-5-2008-0011863-05 |
4 | [출원서등 보정]보정서 [Amendment to Patent Application, etc.] Amendment |
2008.01.30 | 수리 (Accepted) | 1-1-2008-0079440-84 |
5 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2008.03.05 | 수리 (Accepted) | 4-1-2008-5034712-96 |
6 | 의견제출통지서 Notification of reason for refusal |
2009.02.25 | 발송처리완료 (Completion of Transmission) | 9-5-2009-0084978-23 |
7 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 [Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation) |
2009.04.27 | 수리 (Accepted) | 1-1-2009-0254738-24 |
8 | [명세서등 보정]보정서 [Amendment to Description, etc.] Amendment |
2009.04.27 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2009-0254757-92 |
9 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2009.06.09 | 수리 (Accepted) | 4-1-2009-5111177-32 |
10 | 등록결정서 Decision to grant |
2009.08.11 | 발송처리완료 (Completion of Transmission) | 9-5-2009-0333466-33 |
11 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2010.08.12 | 수리 (Accepted) | 4-1-2010-5149278-93 |
12 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2014.02.11 | 수리 (Accepted) | 4-1-2014-5018243-16 |
13 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2014.04.22 | 수리 (Accepted) | 4-1-2014-5049934-62 |
14 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2019.10.10 | 수리 (Accepted) | 4-1-2019-5210941-09 |
번호 | 청구항 |
---|---|
1 |
1 (a)XML 문서에서 부모 노드를 상속하는 자식 노드의 레이블을 이진 스트링으로 구성하는 단계; (b)상기 XML 문서에 신규 노드가 상기 부모 노드의 자식 노드로 삽입되는 경우, 상기 삽입되는 신규 노드의 위치가 상기 문서로부터 기 삭제된 노드의 위치와 동일한지를 판단하는 단계; (c)상기 판단 결과 동일하지 아니한 경우에는, 상기 부모 노드가 이미 보유하고 있는 자식 노드의 레이블에 이진 스트링을 삽입하여 상기 신규 노드의 레이블을 설정하는 단계; 및 (d)상기 판단 결과 동일한 경우에는, 상기 삭제된 노드의 레이블을 상기 신규 노드의 레이블로 설정하는 단계를 포함하고, 상기 (d)단계는 (d1)상기 신규 노드의 왼쪽 노드의 레이블의 이진 스트링의 비트수(이하 ‘왼쪽 비트수’)와 오른쪽 노드의 레이블의 이진 스트링의 비트수(이하 ‘오른쪽 비트수’)를 비교하는 단계; (d2)상기 비교 결과 상기 오른쪽 비트수가 더 큰 경우에는, 상기 왼쪽 노드의 레이블의 이진 스트링과 상기 오른쪽 노드의 이진 스트링의 사전적 순서가 동일한 비트 스트링에 2 bit '10'을 이어붙이는(concatenate) 단계; 및 (d3)상기 비교 결과 상기 두 비트수가 같은 경우에는 상기 왼쪽 노드의 레이블의 이진 스트링과 상기 오른쪽 노드의 이진 스트링의 사전적 순서가 동일한 비트 스트링에 1 bit '0'을 이어붙이는 단계를 포함하여, 상기 이어붙인 비트 스트링이 상기 신규 노드의 레이블로 설정되는 것을 특징으로 하는 XML 문서의 노드에 대한 레이블링 방법 |
2 |
2 삭제 |
3 |
3 삭제 |
4 |
4 삭제 |
5 |
5 삭제 |
6 |
6 삭제 |
7 |
7 삭제 |
8 |
8 삭제 |
9 |
9 삭제 |
10 |
10 제 1 항의 방법을 컴퓨터에서 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록 매체 |
11 |
11 XML 문서에서 부모 노드를 상속하는 자식 노드의 레이블을 이진 스트링으로 구성하는 레이블 구성부; 상기 XML 문서에 신규 노드가 상기 부모 노드의 자식 노드로 삽입되는 경우, 상기 삽입되는 신규 노드의 위치가 상기 문서로부터 기 삭제된 노드의 위치와 동일한지를 판단하는 동일 위치 판단부; 및 상기 판단 결과 동일하지 아니한 경우에는, 상기 부모 노드가 이미 보유하고 있는 자식 노드의 레이블에 이진 스트링을 삽입하여 상기 신규 노드의 레이블을 설정하는 레이블 설정부를 포함하고, 상기 동일 위치 판단부가 상기 새로이 삽입된 노드의 위치와 상기 삭제된 노드의 위치가 동일하다고 판단한 경우 상기 레이블 설정부는 상기 신규 노드의 왼쪽 노드의 레이블의 이진 스트링의 비트수(이하 ‘왼쪽 비트수’)와 오른쪽 노드의 레이블의 이진 스트링의 비트수(이하 ‘오른쪽 비트수’)를 비교하는 비트수 비교부; 및 상기 비교 결과 상기 오른쪽 비트수가 더 큰 경우에는 상기 왼쪽 노드의 레이블의 이진 스트링과 상기 오른쪽 노드의 이진 스트링의 사전적 순서가 동일한 비트 스트링에 2 bit '10'을, 상기 비교 결과 상기 두 비트수가 같은 경우에는 상기 사전적 순서가 동일한 비트 스트링에 1 bit '0'을 이어붙이는(concatenate) 재설정부를 포함하여, 상기 삭제된 노드의 레이블이 상기 신규 노드의 레이블로 설정(재사용)되는 것을 특징으로 하는 XML 문서의 노드에 대한 레이블링 장치 |
12 |
12 삭제 |
13 |
13 삭제 |
14 |
14 삭제 |
15 |
15 삭제 |
16 |
16 삭제 |
17 |
17 삭제 |
18 |
18 삭제 |
19 |
19 삭제 |
지정국 정보가 없습니다 |
---|
패밀리정보가 없습니다 |
---|
국가 R&D 정보가 없습니다. |
---|
특허 등록번호 | 10-0914311-0000 |
---|
표시번호 | 사항 |
---|---|
1 |
출원 연월일 : 20071214 출원 번호 : 1020070131067 공고 연월일 : 20090828 공고 번호 : 특허결정(심결)연월일 : 20090811 청구범위의 항수 : 3 유별 : G06F 17/00 발명의 명칭 : XML 문서의 노드에 대한 레이블링 방법 및 장치 존속기간(예정)만료일 : 20140821 |
순위번호 | 사항 |
---|---|
1 |
(권리자) 고려대학교 산학협력단 서울특별시 성북구... |
제 1 - 3 년분 | 금 액 | 81,000 원 | 2009년 08월 21일 | 납입 |
제 4 년분 | 금 액 | 106,000 원 | 2012년 06월 15일 | 납입 |
제 5 년분 | 금 액 | 106,000 원 | 2013년 06월 21일 | 납입 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 | 2007.12.14 | 수리 (Accepted) | 1-1-2007-0901180-88 |
2 | [출원서등 보정]보정서 | 2008.01.22 | 수리 (Accepted) | 1-1-2008-0054222-18 |
3 | 보정요구서 | 2008.01.23 | 발송처리완료 (Completion of Transmission) | 1-5-2008-0011863-05 |
4 | [출원서등 보정]보정서 | 2008.01.30 | 수리 (Accepted) | 1-1-2008-0079440-84 |
5 | 출원인정보변경(경정)신고서 | 2008.03.05 | 수리 (Accepted) | 4-1-2008-5034712-96 |
6 | 의견제출통지서 | 2009.02.25 | 발송처리완료 (Completion of Transmission) | 9-5-2009-0084978-23 |
7 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 | 2009.04.27 | 수리 (Accepted) | 1-1-2009-0254738-24 |
8 | [명세서등 보정]보정서 | 2009.04.27 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2009-0254757-92 |
9 | 출원인정보변경(경정)신고서 | 2009.06.09 | 수리 (Accepted) | 4-1-2009-5111177-32 |
10 | 등록결정서 | 2009.08.11 | 발송처리완료 (Completion of Transmission) | 9-5-2009-0333466-33 |
11 | 출원인정보변경(경정)신고서 | 2010.08.12 | 수리 (Accepted) | 4-1-2010-5149278-93 |
12 | 출원인정보변경(경정)신고서 | 2014.02.11 | 수리 (Accepted) | 4-1-2014-5018243-16 |
13 | 출원인정보변경(경정)신고서 | 2014.04.22 | 수리 (Accepted) | 4-1-2014-5049934-62 |
14 | 출원인정보변경(경정)신고서 | 2019.10.10 | 수리 (Accepted) | 4-1-2019-5210941-09 |
기술정보가 없습니다 |
---|
과제고유번호 | 1345096806 |
---|---|
세부과제번호 | 과C6A1601 |
연구과제명 | BK21소프트웨어산학연공동사업단 |
성과구분 | 등록 |
부처명 | 교육과학기술부 |
연구관리전문기관명 | 한국연구재단 |
연구주관기관명 | 고려대학교 |
성과제출연도 | 2009 |
연구기간 | 200603~201302 |
기여율 | 1 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1445006523 |
---|---|
세부과제번호 | 2006-S-033-02 |
연구과제명 | 재난구조용웨어러블인터페이스기술개발 |
성과구분 | 출원 |
부처명 | 지식경제부 |
연구관리전문기관명 | 정보통신연구진흥원 |
연구주관기관명 | 고려대학교 |
성과제출연도 | 2007 |
연구기간 | 200703~200802 |
기여율 | 1 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
[1020110033709] | 프리미티브 트리에 기반한 거리장 계산장치 및 방법 | 새창보기 |
---|---|---|
[1020110007443] | 복층 쉘 구조를 기반으로 하는 시뮬레이션 장치 및 방법 | 새창보기 |
[1020100118752] | 복수의 입력 표본을 이용한 비균질 텍스쳐 합성 장치 및 방법 | 새창보기 |
[1020100108834] | 물질간 혼합 현상의 모델링 장치 및 방법 | 새창보기 |
[1020100017101] | 거리값에 기반한 적응적 거리장 합성장치 및 방법 | 새창보기 |
[1020090121235] | 저잡음 증폭기 및 증폭기의 이득 제어회로 | 새창보기 |
[1020090119084] | 무선 방송 시스템에서 Transitive NN 질의 처리 방법 | 새창보기 |
[1020090118504] | 단문 스팸 메시지의 필터링을 위한 스팸 필터링 모델 학습 방법 및 이를 이용한 단문 스팸 메시지 필터링 방법 및 장치 | 새창보기 |
[1020090118420] | 휴대용 단말기를 위한 위치 측정 장치 | 새창보기 |
[1020090118028] | CPU 주파수 선택 장치 및 그 방법 | 새창보기 |
[1020090109284] | 무선 데이터 방송 스트림에서 위치 기반 상위k질의 처리 방법 | 새창보기 |
[1020090101242] | 웹캠을 이용한 컴퓨터 전력 관리 방법 | 새창보기 |
[1020090098814] | 재밍을 이용하여 통신 영역을 제한하는 무선 통신 시스템 | 새창보기 |
[1020090079778] | 다중 사용자 MIMO 시스템에서 벡터 섭동 기반의 송신 다이버시티를 이용하는 장치 및 방법 | 새창보기 |
[1020090067685] | 진화 학습에 의한 화자 적응 장치 및 방법과 이를 이용한 음성인식 시스템 | 새창보기 |
[1020090062168] | 상호운용성 향상을 위한 RFID 멀티로봇 관리 시스템 및 방법 | 새창보기 |
[1020090061165] | 통신 데이터 통합 관리 방법 및 시스템 | 새창보기 |
[1020090037853] | 무선 방송 환경에서의 제한적 NN 질의 처리 장치 및 방법과 이를 이용한 제한적 NN 질의 처리 시스템 | 새창보기 |
[1020090025888] | 데이터 추론에 대응하기 위한 XML 문서 레이블링, XML 문서의 재구조 방법, 및 그 장치 | 새창보기 |
[1020090017433] | 무선인식 차단 장치 | 새창보기 |
[1020090016857] | 전기진단 지원 장치 및 그를 이용한 신경 손상 진단 방법 | 새창보기 |
[1020090016856] | 단일 채널 뇌파 처리 장치 및 그를 이용한 뇌파 처리 방법 | 새창보기 |
[1020090016686] | 연속 스카이라인 질의 수행장치 및 방법 | 새창보기 |
[1020090014917] | 스카이라인 모니터링 장치 및 방법 | 새창보기 |
[1020090014149] | 피투피 기반의 웹 사이트 접속 시스템과 이에 사용되는 웹 브라우저 | 새창보기 |
[1020090013720] | 모바일 기기 기반의 모임 관리 시스템 및 이에 사용되는 모바일 기기 | 새창보기 |
[1020090013599] | 모바일 애드혹 네트워크에서의 이기성 노드 검출 장치 및 방법과 이를 이용한 데이터 복제본 할당 방법 | 새창보기 |
[1020090013598] | 통신 디바이스간 거리 측정 시스템 및 그 방법 | 새창보기 |
[1020090013597] | 웹 크롤링 시스템 및 그 방법 | 새창보기 |
[1020090013094] | 무선 방송 환경에서의 제한적 NN 질의 처리 장치 및 방법과 이를 이용한 제한적 NN 질의 처리 시스템 | 새창보기 |
[1020090003651] | 검색어를 포함하는 스카이라인 질의 수행장치 및 방법 | 새창보기 |
[1020080026332] | 셀 상태 값을 이용한 연속 스카이라인 질의 방법, 그시스템 및 이를 기록한 기록매체 | 새창보기 |
[1020080018689] | 모바일(mobile)P2P(Peer―to―Peer)애드혹(ad―hoc) 네트워크 환경에서 콘텐츠 정보를방송하는 단말 및 콘텐츠 정보의 분배 방법 | 새창보기 |
[1020080017640] | 계층적 비트맵 기반 공간 인덱스 구성 방법과 이를 이용한인덱싱 방법, 시스템 및 기록매체 | 새창보기 |
[1020080000260] | 결함 데이터 비트를 포함하는 캐쉬 메모리의 데이터비트열에 데이터를 쓰는 방법 및 데이터 비트열에서데이터를 읽는 방법 | 새창보기 |
[1020070131067] | XML 문서의 노드에 대한 레이블링 방법 및 장치 | 새창보기 |
[1020070118378] | XML 노드에 대한 접근 제어 시스템 및 그 방법 | 새창보기 |
[1020070104615] | 데이터 파일의 선택적 압축전송시스템 | 새창보기 |
[1020070100704] | 악의적인 코드에 의한 명령어 캐쉬메모리의 손상 방지 방법 | 새창보기 |
[1020070088684] | 사이버 기상 예측을 위한 악성 코드 분석 장치, 그 방법 및이를 기록한 기록매체 | 새창보기 |
[1020070084029] | 무선 센서 네트워크의 패킷 데이터 통신 방법 및 그 시스템 | 새창보기 |
[1020070081718] | 작업 완료 시간 제약에 따라 가용성을 차등적으로 적용하는 유연하고 안정적인 스케줄링 프로그램을 저장한 기록매체 및 이를 이용한 스케줄링 방법 | 새창보기 |
[1020070042239] | 포인트 기반의 3차원 형상의 변형 방법, 이를 이용한 3차원형상의 보간 프레임 생성 방법 및 이를 기록한 기록매체 | 새창보기 |
[1020070042239] | 포인트 기반의 3차원 형상의 변형 방법, 이를 이용한 3차원형상의 보간 프레임 생성 방법 및 이를 기록한 기록매체 | 새창보기 |
[1020070042238] | 체감형 유저 인터페이스 장치 | 새창보기 |
[1020070040085] | 트리 레이블을 이용한 확장성 표시 언어 문서의 질의 처리 방법, 및 그 질의 처리 장치 | 새창보기 |
[1020070028807] | 필터를 적용한 스카이라인 질의 수행 방법 및 시스템 | 새창보기 |
[1020070028290] | 무선 환경에서 비트맵 기반의 공간 색인 방법, 그 기록매체 및 무선 환경에서 비트맵 기반의 공간 색인 시스템 | 새창보기 |
[1020070003003] | 힐버트 커브를 이용한 에너지-효율적인 공간 색인 방법, 그기록 매체 및 힐버트 커브를 이용한 에너지-효율적인 공간색인 시스템 | 새창보기 |
[KST2015133552][고려대학교] | 사용자 의도 추론에 기반한 휴대용 단말 장치 및 이를 이용한 컨텐츠 추천 방법 | 새창보기 |
---|---|---|
[KST2015133599][고려대학교] | 조상 후손 카테고리를 활용한 오픈 디렉터리 프로젝트 기반 텍스트 분류 방법 및 장치 | 새창보기 |
[KST2015133473][고려대학교] | 협업 기반 온톨로지 관리 시스템 및 방법 | 새창보기 |
[KST2015132034][고려대학교] | 뉴스 데이터 분석 장치 및 방법 | 새창보기 |
[KST2015131022][고려대학교] | 생체 정보를 이용한 인증 시스템 및 인증을 수행하는프로그램이 저장된 기록 매체 | 새창보기 |
[KST2015134225][고려대학교] | 유한체의 원소간 비트-병렬 곱셈방법 및 장치 | 새창보기 |
[KST2015131810][고려대학교] | 임의의 각도에서의 객체의 외형에 기반한 3차원 객체 검색 및 자세 추정 방법 | 새창보기 |
[KST2015134612][고려대학교] | 마코프 프로세스 기반의 피해 산정 방법, 그 기록 매체 및그 장치 | 새창보기 |
[KST2014067048][고려대학교] | 캡슐형 내시경용 초저전력 이미지 프로세서를 위한 저전력 설계 기술 | 새창보기 |
[KST2015132888][고려대학교] | 컨텍스트 서비스 제공 시스템 | 새창보기 |
[KST2015134571][고려대학교] | 시청자의 시선 상태를 분류하는 방법 및 장치 | 새창보기 |
[KST2015132521][고려대학교] | XML 데이터 스트림 생성 및 수신 방법 | 새창보기 |
[KST2015134444][고려대학교] | 마코프 프로세스 기반의 멀티미디어 서버 관리 시스템 및 그 방법 | 새창보기 |
[KST2015133769][고려대학교] | 지혜 구성 방법 | 새창보기 |
[KST2015132934][고려대학교] | 데이터 필터링 방법 및 장치 | 새창보기 |
[KST2015132598][고려대학교] | 클라우드 컴퓨팅 환경 내 데이터 비교 처리 방법 및 시스템 | 새창보기 |
[KST2015133518][고려대학교] | 인공 표식을 이용한 이동 로봇의 위치 추정 방법 | 새창보기 |
[KST2014000932][고려대학교] | 암호화된 데이터베이스 검색 방법 및 그 시스템 | 새창보기 |
[KST2015133362][고려대학교] | 이행성 서명 처리 방법 | 새창보기 |
[KST2015134486][고려대학교] | 다수의 이종 프로세서를 구비하는 멀티 프로세싱 시스템 및그 구동 방법 | 새창보기 |
[KST2015131235][고려대학교] | 네트워크 악성실행코드 차단장치 및 방법 | 새창보기 |
[KST2015131255][고려대학교] | 약한 쌍대 기저를 이용한 다항식 지수승기, 및 약한 쌍대 기저를 이용한 다항식 지수승 연산 방법 | 새창보기 |
[KST2015134373][고려대학교] | 해시 체인을 이용한 무한 인증 방법 및 이를 적용한 장치 | 새창보기 |
[KST2015131730][고려대학교] | 고속 비트-병렬 다항식 곱셈기, 그 곱셈 방법 | 새창보기 |
[KST2015131062][고려대학교] | 제 3의 신뢰기관의 도움 없이 공개키에 대한 상호 인증 및키 교환 방법 및 그 장치 | 새창보기 |
[KST2015133327][고려대학교] | 단축 URL 생성 시스템 및 그 방법 | 새창보기 |
[KST2015131342][고려대학교] | 영상분석을 이용한 악성흑색종 진단 시스템 | 새창보기 |
[KST2015132534][고려대학교] | 연속 스카이라인 질의 수행장치 및 방법 | 새창보기 |
[KST2016020545][고려대학교] | 용량 반응곡선의 추정 및 기준용량 계산을 위한 장치 및 방법(APPARATUS AND METHOD FOR ESTIMATING OF DOSE RESPONSE CURVE AND CALCULATING OF BENCHMARK DOSE) | 새창보기 |
[KST2015133343][고려대학교] | DEV&DESS모델 검증을 위한 Linear Hybrid Automata 변환 방법 및 이를 위한 기록매체 | 새창보기 |
심판사항 정보가 없습니다 |
---|