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)
48
https://www.mdpi.com/1424-8220/24/3/767
이 게시물을
Cover.PNG (132.8KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
26
[SSRC ITRC] 스마트의료 정보보호 컨퍼런스 2015
moonkun
2015-06-04
9005
25
[2016년 2월 9~11일] 비엔나 BOC ADONIS-NP 교육
3
moonkun
2016-02-26
9859
24
2014 NEMO; Next Generation Enterprise Modeling [Klagenfrut, Austria]
moonkun
2014-09-24
9881
23
[2016년 7월 19일][화] NEMO2016 Day 2 (University of Vienna, Austria)
moonkun
2016-07-20
10759
22
[2017-05-02] [BZEN] Homepage V1.0 Alpha Test Version
1
moonkun
2017-05-10
10819
현재 비젠의 공식적인 활동을 준비하고 있습니다. 과연 공식적인 활동을 위해서 무엇이 준비해야 할까요? 1) 아마도 가장 중요한 것은, 사람일 것입니다. 그래서, 오랜 과정을 거쳐 드디어 "삼총사"가 출범을 했습니다. YB+SH+JS! 삼총사는 제가 오랫동...
21
[2017-04-02] MACMESE2017, Berlin, Germany
1
moonkun
2017-04-06
11212
20
[2016-07-17~29] NEMO2016 & ADONIS Training, Austria : YB Choe
moonkun
2016-08-16
11303
19
[2019-07-23] NEMO2019, The 6th: Day 7 - Tue
10
moonkun
2019-07-23
11853
18
2013 ADOXX Training [Univ. of Vienna, Austria]
moonkun
2014-10-10
12136
17
2013 SMPE [Barcelona, Space]
moonkun
2014-09-24
12686
16
[2019-07-15] NEMO2019, The 6th: Day 1 - Mon
8
moonkun
2019-07-15
13443
15
[2017-05-16] [ADONIS/PP-1] ADONIS/KOR/KTC/KTC/CCR/V1.0 Installation
1
moonkun
2017-05-18
14357
14
ADOxx: My Lifesaver!
3
moonkun
2015-04-09
15111
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...
13
[2017-07-06] ADONIS/PP-II-B/KSA/CC: Demo Meeting
1
moonkun
2017-07-10
18193
12
[2015년 2월] ITRC 고품질융합소프트웨어연구센터: 2015년 봄학기 주말학교
3
moonkun
2015-02-06
18603
[학부생 4학년중 참여하고자 하는 학생은 연락을 바랍니다.] 2015년도 1학기 고품질융합소프트웨어학교 교육계획 Secure Software School 1. 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성...
11
[2017-01-23~27] BOC Training on ADONIS/ADOxx
4
moonkun
2017-02-01
18754
10
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
moonkun
2017-07-28
22125
9
NEMO2015 Summer School [Vienna, Austria] (20~31 July)
moonkun
2015-04-07
28851
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...
8
[2018-09-08][CF] ICServ2018 [Taiwan] - A Service Design for ISO Certification of SW Development Process in ESA Application with ADONIS BPMN Tool
moonkun
2018-10-17
35620
7
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
moonkun
2017-07-28
37128
쓰기...
목록
첫 페이지
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소