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)
49
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
46
[2019-05-28] KSEM2019, Athens, Greece: Paper Accepted.
1
moonkun
2019-07-15
5758
45
[2015년7월20~31일] NEMO 2015 Summer School (Univ. of Vienna, Austria)
moonkun
2015-09-03
5842
44
[2015년 2월] SSRC ITRC 2015년 겨울학교
moonkun
2015-01-28
5867
43
[2016-11-04] [BZEN] 서울 사무실 - 공덕역 풍림VIP텔
moonkun
2016-11-07
5923
42
[2015년 11월 2일] MOU 협정식, OMiLAB KOREA 연구센터 현판식 및 개소식
moonkun
2015-10-28
6426
41
[2015년2월25~27일] ADOxx Training at BOC in Vienna; OMiLab in U.of Vienna
moonkun
2015-03-04
6454
40
[2014년 9월] 석/박사연구원모집
moonkun
2014-09-24
6483
<소프트웨어순환공학실험실> 석사/박사 과정 후보생 모집 날짜: 2014년 9월 20일 수신: 예비 컴퓨터전공 학사 및 석사 졸업 대상자 발신: <소프트웨어순환공학실험실> 지도교수 이문근 주제: 실험실 석사/박사 과정 후보생 모집 <소프트웨어순환공학실험실>에...
39
[2014년 10월] EMS2015 [Pisa, Italy]
moonkun
2014-10-24
6497
38
[2016년 4월 1일] 컴퓨터공학 전공의 진실
moonkun
2016-04-01
6550
오늘이 4월1일 만우절입니다. 이런 날은 뭔가 거짓 같은 진실, 혹은 진실 같은 거짓을 말할 수 있는 용기가 생깁니다. 사람들이 우리 전공을 컴퓨터공학(컴공)이라고 하는 데 정말 그럴까요? Wiki는 컴퓨터공학을 다음과 같이 정의 합니다: Computer engineeri...
37
[2015년 4월 27~28일] Meeting w/ Prof. Karagiannis at Kyoto University in Japan.
moonkun
2015-05-01
6792
36
[2016/9/5~6] ModTools2016 (Vienna, Austria)
1
moonkun
2016-07-12
7017
EDOC2016: http://edoc2016.univie.ac.at/ ModTools2016: http://www.omilab.org/web/guest/modtools2016 ModTools'16 - Workshop on Methodical Development of Modelling Tools at EDOC’2016September 5/6, 2016 The availability of modelling tools is a c...
35
[2014년 8월] ITRC 고품질융합소프트웨어연구센터: 2014년도 2학기 주말학교
moonkun
2014-10-11
7079
관심이 있는 학생은 연락하기 바랍니다. [교통비와 식비 지원 가능] 1. ITRC 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성 이해 나. 고품질 소프트웨어 개발 도구 활용 능력 제고 다. ...
34
[2014년 10월] 실험실환경개선사업-완료
moonkun
2014-10-08
7150
33
[2015년 5월 26~30일] ITRC Forum at EXPO in Seoul, Korea
moonkun
2015-06-05
7288
32
[2017-07-13] ICServ2017, Vienna, Austria: Presentation
1
moonkun
2017-07-14
7486
31
[2015년 4월 22일] 전문가 초빙 세미나; 인공위성연구소 이철 팀장
moonkun
2015-05-01
8244
30
[2015년8월25일] OMiLAB Korea 연구센터
moonkun
2015-09-03
8555
29
[2017-02-28] ADONIS/PPI/KTL - Preliminary Meeting
moonkun
2017-03-06
8562
28
[2018-10-27] Oct Full Moon at Dawn in Front of My Apartment
moonkun
2018-10-29
8871
27
[2017-01-31] ICServ2017
1
moonkun
2017-02-01
8998
CALL FOR PAPERS: 5TH INTERNATIONAL CONFERENCE ON SERVICEOLOGY – ICServ2017 July 12-14, 2017, University of Vienna, Austria http://icserv2017.serviceology.org/home ******************************************************************************...
쓰기...
목록
첫 페이지
7
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소