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
글 수
359
회원가입
로그인...
[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)
47
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
359
2013 SMPE [Barcelona, Space]
moonkun
2014-09-24
12686
358
2013 COMPSAC [Kyoto, Japan]
moonkun
2014-09-24
5056
357
2013 ECCS [Paris, France]
moonkun
2014-09-24
5365
356
2014 NEMO; Next Generation Enterprise Modeling [Klagenfrut, Austria]
moonkun
2014-09-24
9881
355
2014 COMPSAC/MVDA [Vasteras, Sweden]
moonkun
2014-09-24
5090
354
[2014년 9월] 석/박사연구원모집
moonkun
2014-09-24
6483
<소프트웨어순환공학실험실> 석사/박사 과정 후보생 모집 날짜: 2014년 9월 20일 수신: 예비 컴퓨터전공 학사 및 석사 졸업 대상자 발신: <소프트웨어순환공학실험실> 지도교수 이문근 주제: 실험실 석사/박사 과정 후보생 모집 <소프트웨어순환공학실험실>에...
353
[2014년 9월] 실험실환경개선사업
moonkun
2014-09-24
5687
9월 25일 (목), SRE 실험실 연구 환경을 근본적으로 개선합니다. Before: 폐쇄형 연구 공간 After: 공개형 연구 공간 목요일 개선 사업이 마무리되면 사진을 올리겠습니다. [2014년 9월 24일]
352
[2014년 10월] 실험실환경개선사업-완료
moonkun
2014-10-08
7148
351
2013 ADOXX Training [Univ. of Vienna, Austria]
moonkun
2014-10-10
12136
350
[2014년 8월] ITRC 고품질융합소프트웨어연구센터: 2014년도 2학기 주말학교
moonkun
2014-10-11
7077
관심이 있는 학생은 연락하기 바랍니다. [교통비와 식비 지원 가능] 1. ITRC 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성 이해 나. 고품질 소프트웨어 개발 도구 활용 능력 제고 다. ...
349
[2014년 10월] EMS2015 [Pisa, Italy]
moonkun
2014-10-24
6497
348
[2014년 11월] ITRC 과제 학부생 인턴 모집
moonkun
2014-11-13
5103
<소프트웨어순환공학실험실> ITRC 과제 학부생 인턴 모집 <소프트웨어순환공학실험실>에서는 현재 실험실에서 고려대학교 ‘고품질 융합소프트웨어 연구센터’(NIPA/ITRC)와 같이 수행하고 있는 ‘고품질 융합 SW 개발 지원 도구 연구 및 고급 인력 양성 사업’에 ...
347
[2014년 11월] 우주기초 과제 학부생 인턴 모집
moonkun
2014-11-13
5249
<소프트웨어순환공학실험실> 우주기초 과제 학부생 인턴 모집 <소프트웨어순환공학실험실>에서는 현재 실험실에서 수행하고 있는 우주기초 과제 ‘우주용 SW의 검증 및 신뢰성 확보 방안에 관한 연구’ 과제에 관심이 있는 학부생 인턴을 다음과 같이 모집합니다...
346
[2015년 2월] SSRC ITRC 2015년 겨울학교
moonkun
2015-01-28
5865
345
[2015년 2월] Special Training on ADOxx at Vienna
moonkun
2015-01-28
88156
344
[2015년 2월] ITRC 고품질융합소프트웨어연구센터: 2015년 봄학기 주말학교
3
moonkun
2015-02-06
18603
[학부생 4학년중 참여하고자 하는 학생은 연락을 바랍니다.] 2015년도 1학기 고품질융합소프트웨어학교 교육계획 Secure Software School 1. 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성...
343
[2015년2월25~27일] ADOxx Training at BOC in Vienna; OMiLab in U.of Vienna
moonkun
2015-03-04
6454
342
NEMO2015 Summer School [Vienna, Austria] (20~31 July)
moonkun
2015-04-07
28849
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...
341
ADOxx: My Lifesaver!
3
moonkun
2015-04-09
15110
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...
340
[2015년 4월 22일] 전문가 초빙 세미나; 인공위성연구소 이철 팀장
moonkun
2015-05-01
8243
쓰기...
목록
첫 페이지
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소