| 34 |
==[17-028-RC-07] BOC 출장 준비 [MK, YB, SH] [1/2~1/4]
 4
|
moonkun |
2017-01-16 |
824 |
|
Name: BOC 출장 준비 Code: 17-028-RC-07 Charge: MK Period: Begin: 2017년 1월 2주 End: 2017년 1월 4주 Goals: Description: 1) Vienna BOC 출장 2) Issues a) License localization b) Admin Training c) Domain Training: Certif...
|
| 33 |
[17-035-BZ-11] MAN 번역 [MK, SH, YB] [2/1~2/29]
|
moonkun |
2017-02-01 |
830 |
|
.
|
| 32 |
==[17-010-RC-03] Lab Seminar - FM [MK] [1/1~ ]
1
|
moonkun |
2017-01-05 |
861 |
|
Name: Lab Seminar Code: 17-001-PP-01 Charge: SH Period: Begin: 2017년 1월 1주 End: Goals: 1) 각각 맡은 Formal Methods 에 대한 자료 정리 및 발표 Description: 연구원 각자가 담당한 Formal Method에 대하여 세미나를 진행 Meetings: 1) [2...
|
| 31 |
==[17-020-BZ-01] Licensing - Preview w/ PSU [MK] [1/1~ ]
2
|
moonkun |
2017-01-09 |
876 |
|
Name: A/Licensing/Consulting Code: 17-020-BZ-01 Charge: MK Period: Begin: 2017년 1월 1주 End: Goals: 1) A/K License Localization 2) Description: 1) Before visit to BOC, must consider the boundary of the localization. 2) Must cons...
|
| 30 |
[17-021-BZ-02] Certification [MK] [1/1~ ]
2
|
moonkun |
2017-01-09 |
878 |
|
Name: A/Certification/Consulting Code: 17-021-BZ-02 Charge: MK Period: Begin: 2017년 1월 1주 End: Goals: 1) A/K Application Domain: ISO Certification 2) Consulting from experts Description: 1) Before visit to BOC, must consider t...
|
| 29 |
==[17-046-PP-06] [MK] ER2017 - Conceptual Modeling, Valencia, Spain
|
moonkun |
2017-03-06 |
886 |
|
Name: ER2017 - Conceptual Modeling Code: 17-046-PP-06 Charge: MK Ref: http://er2017.pros.webs.upv.es/ Subject: Behavior Ontology n:2-Lattice History: [1] [3/2] [2017/03/06][Mon] 1) Date - Abstract: 10th April - Paper: 17...
|
| 28 |
==[17-012-RC-05] Study - Logic [MK] [1/1 ~ ]
|
moonkun |
2017-01-05 |
973 |
|
Name: Study - Logic Code: 17-001-PP-01 Charge: All Period: Begin: 2017년 1월 1주 End: Goals: 1) 논리학 스터디 Description: 논리학의 기초에 대하여 스터디를 진행하는 업무 Record: 1) [2016년 1월 3일] - 업무 계획 - 1월간 많은 업무...
|
| 27 |
==[17-025-BZ-06] BOC Visit [MK] [1/1~ ]
|
moonkun |
2017-01-09 |
1100 |
|
Name: BOC Visit Code: 17-025-BZ-06 Charge: MK Period: Begin: 2017년 1월 1주 End: Goals: 1) BOC Visit 2) ADONIS & ADOxx Training Description: 1) Need to solve several problems a) Licensing ADONIS/ADOXX b) Second level ...
|
| 26 |
==[17-065-RC-28] [MK] FM Book
3
|
moonkun |
2017-05-14 |
1206 |
|
Name: FM Book Code: 17-065-RC-28 Charge: MK Outline: 1) [17/5/2] [2017-05-12] 회의록 - MK:Archive에 9가지 폴더를 생성하였으며 항목별로 예제와 도구들이 필요하다 - MK:본인 업무와 관련된 부분에 대한 예제를 제시해 주었으면 결과에 도움이 된...
|
| 25 |
[17-068-RC-29][YB,MK] PROJ-I-NRC/SSEE
|
moonkun |
2017-05-24 |
1229 |
|
Name: PROJ-I-NRC/SSEE Code: 17-068-RC-29 Charge: YB, MK Outline: Phase I: Year 1 Year 2 Year 3 Phase II: Year 1 Year 2 1. Phase 1 1) Year 1 2) Year 2 3) Year 3 - Reports/Plan
|
| 24 |
[17-056-BZ-16] [YB] HWs/2017-I
1
|
moonkun |
2017-04-24 |
1244 |
|
Name: HWs/2017-I Code: 17-056-BZ-16 Charge: SH Outline: 1) [MK] [17/04/01] - Decide to purchase the following HWs: 1) PC : [2] 2) Server: [1] + Included: Plan [Classified] 2) [SH] [17/04/05] - You are responsible f...
|
| 23 |
[17-062-RC-26] [MK] KAI: Invited Lecture
3
|
moonkun |
2017-05-14 |
1331 |
|
Name: KAI: Invited Lecture Code: 17-062-BZ-2 Charge: MK Outline: 1) [17/5/2] [2017-05-12] 회의록 - MK가 KAI특강에 사용하는 자료를 연구원들에게 공유하였으며, - Autosar(자동차에 들어가는 SW를 검증하는 도구)를 예제가 강의에 포함 되어져있다...
|
| 22 |
[17-060-PP-09] [YB] WSEAS Journal - Paper: dT Calculus
|
moonkun |
2017-05-02 |
1359 |
|
Name: WSEAS Journal - Paper: dT Calculus Code: 17-060-PP-09 Charge: YB Subject: dT-Calculus History: 1) MACSES 논문 WSEAS Journal paper로 제출 + 마감: 5월 10일
|
| 21 |
[17-005-RD-01] SAVE2.0/ADOxx [YB, SH] [1/1~ 2/4]
1
|
moonkun |
2017-01-05 |
1459 |
|
Name: SAVE2.0/ADOxx Code: 17-001-PP-01 Charge: YB, SH Period: Begin: 2017년 1월 1주 End: Goals: 1) SAVE 2.0 개발 Description: SAVE 2.0 개발 관련 업무 각 모델에서 사용하는 데이터 구조를 SRL 구조로 통일 SRL 데이터 구조 사용을 ...
|
| 20 |
[17-059-RC-25][YB] PROJ-III-NRS/MMU
1
|
moonkun |
2017-05-01 |
1594 |
|
Name: PROJ-III-NRS/MMU Code: 17-059-RC-25 Charge: MK,YB Outline: Phase 1: Ref: 17-050-RC-201 : Proposal - NSR/MMU Phase 2: Agreement Phase 3: Execution/Implementation 1. Kick-off Meeting 1) When: 17th May; 11:00 AM 2) Where: E...
|
| 19 |
[17-022-BZ-03] [MK, YB] PP-I-KTC/CCR/TMS
8
|
moonkun |
2017-01-09 |
1741 |
|
Name: A/Certification/Pilot Project I/KTC Code: 17-022-BZ-03 Charge: MK Period: Begin: 2017년 1월 1주 End: Progress: 1. A number of meetings in Seoul in 2016. 2. Plan for 2017 3. [17/1/3] [2017-01-16] 카톡 +참부 [17-022-BZ-03-D-1-2...
|
| 18 |
==[17-013-RC-06] Study - Member [MR] [1/1~1/2]
 |
moonkun |
2017-01-05 |
1804 |
|
|
| 17 |
[17-006-RD-02] SRE0.1/ADOxx [JS] [1/1~]
1
|
moonkun |
2017-01-05 |
1846 |
|
Task Description Format Name: SRE0.1/ADOxx Code: 17-007-RD-02 Charge: JS Period: Begin 2017년 1월 1주 End [2016.12] Gcc-Ada code version installation - code로 인스톨 및 확인 / Hello World.adb - install 과정 및 설정에 대한 문서...
|
| 16 |
==[17-049-RC-19][MK,YB] MACMESE, Berlin, Germany - Conference Trip
1
|
moonkun |
2017-03-24 |
1900 |
|
ame: MACMESE2017, Berlin Code: 17-043-RC-17 Charge: MK Ref: http://wseas.org/cms.action?id=14319 Progress: [1] [3/1] [2017/03/02][Wed] 1) Conference Program a) [Included 1] Program.pdf b) 31 March ~ 2 April 2017 c) Berlin...
|
| 15 |
[17-030-RC-09] NEMO 2017 - Lecture [MK] [2/1~4/1~7/4]
2
|
rnatong1 |
2017-01-31 |
2185 |
|
Task Description Name: NEMO 2017: Lecture Code: 17-030-RC-09 Charge: MK Progress: 1) [2016년 2월 1일] [MK] - Invitation letter and acceptance by mail: + [Included 1]: Invitation Letter + [Included 2]: Acceptance Letter 2) Abst...
|
