54 |
[17-005-RD-01] SAVE2.0/ADOxx [YB, SH] [1/1~ 2/4]
1
|
moonkun |
2017-01-05 |
1461 |
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 데이터 구조 사용을 ...
|
53 |
[17-060-PP-09] [YB] WSEAS Journal - Paper: dT Calculus
|
moonkun |
2017-05-02 |
1399 |
Name: WSEAS Journal - Paper: dT Calculus Code: 17-060-PP-09 Charge: YB Subject: dT-Calculus History: 1) MACSES 논문 WSEAS Journal paper로 제출 + 마감: 5월 10일
|
52 |
[17-062-RC-26] [MK] KAI: Invited Lecture
3
|
moonkun |
2017-05-14 |
1333 |
Name: KAI: Invited Lecture Code: 17-062-BZ-2 Charge: MK Outline: 1) [17/5/2] [2017-05-12] 회의록 - MK가 KAI특강에 사용하는 자료를 연구원들에게 공유하였으며, - Autosar(자동차에 들어가는 SW를 검증하는 도구)를 예제가 강의에 포함 되어져있다...
|
51 |
[17-056-BZ-16] [YB] HWs/2017-I
1
|
moonkun |
2017-04-24 |
1248 |
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...
|
50 |
[17-068-RC-29][YB,MK] PROJ-I-NRC/SSEE
|
moonkun |
2017-05-24 |
1230 |
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
|
49 |
==[17-065-RC-28] [MK] FM Book
3
|
moonkun |
2017-05-14 |
1207 |
Name: FM Book Code: 17-065-RC-28 Charge: MK Outline: 1) [17/5/2] [2017-05-12] 회의록 - MK:Archive에 9가지 폴더를 생성하였으며 항목별로 예제와 도구들이 필요하다 - MK:본인 업무와 관련된 부분에 대한 예제를 제시해 주었으면 결과에 도움이 된...
|
48 |
==[17-025-BZ-06] BOC Visit [MK] [1/1~ ]
|
moonkun |
2017-01-09 |
1123 |
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 ...
|
47 |
==[17-012-RC-05] Study - Logic [MK] [1/1 ~ ]
|
moonkun |
2017-01-05 |
1107 |
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월간 많은 업무...
|
46 |
[17-021-BZ-02] Certification [MK] [1/1~ ]
2
|
moonkun |
2017-01-09 |
892 |
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...
|
45 |
==[17-046-PP-06] [MK] ER2017 - Conceptual Modeling, Valencia, Spain
|
moonkun |
2017-03-06 |
891 |
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...
|
44 |
==[17-020-BZ-01] Licensing - Preview w/ PSU [MK] [1/1~ ]
2
|
moonkun |
2017-01-09 |
877 |
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...
|
43 |
==[17-010-RC-03] Lab Seminar - FM [MK] [1/1~ ]
1
|
moonkun |
2017-01-05 |
864 |
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...
|
42 |
[17-035-BZ-11] MAN 번역 [MK, SH, YB] [2/1~2/29]
|
moonkun |
2017-02-01 |
837 |
.
|
41 |
[17-045-ET-07][GH] Homepage reconstruction
|
moonkun |
2017-03-06 |
825 |
Name: Homepage reconstruction Code: 17-045-ET-07 Charge: GH Outline: History: [1] [2017-03-21] - MK: 심플하면서, 업데이트 되어지는 내용을 알릴 수 있는 형식의 컨셉 설정 - 계획에 대한 내용을 JS과 GH은 정리하여 공유바람 [2] [2017-03-...
|
40 |
==[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...
|
39 |
==[17-029-RC-08] BOC 출장 정리 [YB, SH] [1/5~2/3] [C]
1
|
rnatong1 |
2017-01-31 |
820 |
Task Description Format Name: BOC 출장 정리 Code: 17-029-RC-08 Charge: YB, SH Period: Begin: 2017년 1월 2일 End: 2017 1월 12일 Goals: 1) BOC 출장내용 정리 Description: BOC에서 교육받은 내용을 정리 Meetings: 1) [2017년 2월 2일] ...
|
38 |
==[17-053-PP-07] [SH] KIISE Journal - PI
1
|
moonkun |
2017-04-21 |
819 |
Name: KIISE Journal - PI Code: 17-053-PP-07 Charge: SH Subject: dT-Calculus History: 1) [4/4] [2017-04-20] [MK] - MACMESE Conference Paper to Journal Paper - Due on 30th April - After submission, the follow-up will be ha...
|
37 |
==[17-001-PP-01] Conf. Paper : Compsac (dT) [YB] [1/1~ ]
4
|
moonkun |
2017-01-05 |
817 |
Name: Conf. Paper : Compsac/MVDA Code: 17-001-PP-01 Charge: YB Period: Begin: 2017년 1월 1주 End: Goals: 1) 13일까지 논문 제출 2) Compsac 2017 학회 논문 발표 Description: Compsac 2017 학회 발표를 위한 논문 작성 및 제출 관련 업무 ...
|
36 |
[17-069-RC-30][YB,MK] PROJ-IV-NGV/SAVE
|
moonkun |
2017-07-03 |
814 |
Name: PROJ-IV-NGV/SAVE Code: 17-069-RC-30 Charge: MK,YB Outline: Refer: 17-063-RC-27/NGV 과제 제안: 실사 Process: 1) 계획서: 2017년 7월 4일 (화) 까지.
|
35 |
==[17-057-RC-23] [MK] NRF/Internation Project/Proposal/Taiwan
4
|
moonkun |
2017-04-24 |
813 |
Name: NRF/Internation Project/Proposal/Taiwan Code: 17-057-RC-23 Charge: MK History: [1] [17/4/3] [2017/04/18][Tue] [MK] - Correspondence with Prof. Hwang. - Suggestion for Bilateral International Research. - Accepted his off...
|