Language
한국어
BBS
Owner
C.V.
Schedule
Thoughts
Critics
Chef
CBNU
Teaching
Research
Public Services
SRE Lab
OMiLab Korea
JBNU_Critics
Advisor
BZ
BZEN Inc.
The Proto Systems
Tasks
Works
Poem
Novel
News/Issues
Interest in
음악/Music
언어/Language
역사/History
무기/Military
경제/Economy
정치/Politics
문화/Culture
교육/Education
과학/Science
철학/Philosophy
의학/Medical
문학/Literature
삶/Life
해학/Humor
BBS
게시판 Bulletin Board
글 수
366
회원가입
로그인...
[Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin
moonkun
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&document_srl=847777
2024.01.25
05:05:15 (*.78.118.32)
50
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
26
[2015년7월1~5일] COMPSAC/MVDA 2015 (Taichung, Taiwan)
moonkun
2015-09-03
4713
25
[2015년 5월 26~30일] ITRC Forum at EXPO in Seoul, Korea
moonkun
2015-06-05
7288
24
[SSRC ITRC] 스마트의료 정보보호 컨퍼런스 2015
moonkun
2015-06-04
9007
23
[SSRC ITRC] 2015 Summer School
moonkun
2015-06-04
4578
전북대 컴공 학부생 중에 여름학교에 참가하고 싶은 학생이 있으면 면담을 요청하기 바랍니다. 2015 여름학교 운영계획 고품질융합소프트웨어연구센터(SSRC) 2015. 5. 27 1. 운영목적 0 연구계획, 연구결과 등 연구 관련 정보를 공유하여 연구성과를 제고 0 ...
22
[2015년5월25~29일] ECIS2015 (Muenster, Germany)
4
16
moonkun
2015-06-04
43996
21
[2015년 4월 27~28일] Meeting w/ Prof. Karagiannis at Kyoto University in Japan.
moonkun
2015-05-01
6793
20
[2015년 4월 22일] 전문가 초빙 세미나; 인공위성연구소 이철 팀장
moonkun
2015-05-01
8245
19
ADOxx: My Lifesaver!
3
moonkun
2015-04-09
15112
Life can be fairly unfair in one perspective, or unfairly fair in another perspective. One experience in his/her life may change his/her entire life. It may be true in the academic life, too. I was using DECDesign for modelling the visual re...
18
NEMO2015 Summer School [Vienna, Austria] (20~31 July)
moonkun
2015-04-07
28852
NEMO2015 Summer School will be held at the University of Vienna, Austria, during this summer. There are two issues related to the summer school: 1) I am going to present a special lecture on d-Calculus with SAVE. Especially I am going to ana...
17
[2015년2월25~27일] ADOxx Training at BOC in Vienna; OMiLab in U.of Vienna
moonkun
2015-03-04
6454
16
[2015년 2월] ITRC 고품질융합소프트웨어연구센터: 2015년 봄학기 주말학교
3
moonkun
2015-02-06
18606
[학부생 4학년중 참여하고자 하는 학생은 연락을 바랍니다.] 2015년도 1학기 고품질융합소프트웨어학교 교육계획 Secure Software School 1. 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성...
15
[2015년 2월] Special Training on ADOxx at Vienna
moonkun
2015-01-28
88274
14
[2015년 2월] SSRC ITRC 2015년 겨울학교
moonkun
2015-01-28
5867
13
[2014년 11월] 우주기초 과제 학부생 인턴 모집
moonkun
2014-11-13
5249
<소프트웨어순환공학실험실> 우주기초 과제 학부생 인턴 모집 <소프트웨어순환공학실험실>에서는 현재 실험실에서 수행하고 있는 우주기초 과제 ‘우주용 SW의 검증 및 신뢰성 확보 방안에 관한 연구’ 과제에 관심이 있는 학부생 인턴을 다음과 같이 모집합니다...
12
[2014년 11월] ITRC 과제 학부생 인턴 모집
moonkun
2014-11-13
5103
<소프트웨어순환공학실험실> ITRC 과제 학부생 인턴 모집 <소프트웨어순환공학실험실>에서는 현재 실험실에서 고려대학교 ‘고품질 융합소프트웨어 연구센터’(NIPA/ITRC)와 같이 수행하고 있는 ‘고품질 융합 SW 개발 지원 도구 연구 및 고급 인력 양성 사업’에 ...
11
[2014년 10월] EMS2015 [Pisa, Italy]
moonkun
2014-10-24
6497
10
[2014년 8월] ITRC 고품질융합소프트웨어연구센터: 2014년도 2학기 주말학교
moonkun
2014-10-11
7079
관심이 있는 학생은 연락하기 바랍니다. [교통비와 식비 지원 가능] 1. ITRC 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성 이해 나. 고품질 소프트웨어 개발 도구 활용 능력 제고 다. ...
9
2013 ADOXX Training [Univ. of Vienna, Austria]
moonkun
2014-10-10
12139
8
[2014년 10월] 실험실환경개선사업-완료
moonkun
2014-10-08
7150
7
[2014년 9월] 실험실환경개선사업
moonkun
2014-09-24
5688
9월 25일 (목), SRE 실험실 연구 환경을 근본적으로 개선합니다. Before: 폐쇄형 연구 공간 After: 공개형 연구 공간 목요일 개선 사업이 마무리되면 사진을 올리겠습니다. [2014년 9월 24일]
쓰기...
목록
첫 페이지
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소