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)
목록
번호
제목
글쓴이
날짜
조회 수
366
[2015년 2월] Special Training on ADOxx at Vienna
moonkun
2015-01-28
88288
365
[2017-11-21] My Favorite Painter: Pieter Bruegel
2
moonkun
2017-11-27
68514
364
[2017-04-18] ADONIS/PPI/KTC - ADONIS/K/KTC/CL/V1.0 Demo
1
moonkun
2017-04-19
53212
363
[2016년 7월 20일][수] BOC ADONIS Training (Austria)
moonkun
2016-07-20
52032
362
[2018-04-17] [Journal of SRS] ADONIS: Certification Management Tool for ECSS E-40.
moonkun
2018-04-17
45364
361
[2015년5월25~29일] ECIS2015 (Muenster, Germany)
4
16
moonkun
2015-06-04
43996
360
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
moonkun
2017-07-28
37149
359
[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
35662
358
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...
357
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
moonkun
2017-07-28
22143
356
[2017-01-23~27] BOC Training on ADONIS/ADOxx
4
moonkun
2017-02-01
18767
355
[2015년 2월] ITRC 고품질융합소프트웨어연구센터: 2015년 봄학기 주말학교
3
moonkun
2015-02-06
18606
[학부생 4학년중 참여하고자 하는 학생은 연락을 바랍니다.] 2015년도 1학기 고품질융합소프트웨어학교 교육계획 Secure Software School 1. 교육 목표 : 고품질융합소프트웨어 전문인력 양성 가. 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성...
354
[2017-07-06] ADONIS/PP-II-B/KSA/CC: Demo Meeting
1
moonkun
2017-07-10
18206
353
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...
352
[2017-05-16] [ADONIS/PP-1] ADONIS/KOR/KTC/KTC/CCR/V1.0 Installation
1
moonkun
2017-05-18
14366
351
[2019-07-15] NEMO2019, The 6th: Day 1 - Mon
8
moonkun
2019-07-15
13455
350
2013 SMPE [Barcelona, Space]
moonkun
2014-09-24
12688
349
2013 ADOXX Training [Univ. of Vienna, Austria]
moonkun
2014-10-10
12139
348
[2019-07-23] NEMO2019, The 6th: Day 7 - Tue
10
moonkun
2019-07-23
11861
347
[2016-07-17~29] NEMO2016 & ADONIS Training, Austria : YB Choe
moonkun
2016-08-16
11306
쓰기...
목록
첫 페이지
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소