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
ADOxx
글 수
4
회원가입
로그인...
번호
제목
글쓴이
날짜
조회 수
4
[2016/7] NEMO2016 : A Meta-Modeling Method for IoT Using Process Algebra and Behavior Ontology.
moonkun
2016-03-01
543
3
[2016/1/28] NIPA, SEC, Technical Seminar, 60회, 특강: 1부, 2부.
moonkun
2016-03-01
255
2
[2015/7][NEMO2015] A Dual Approach for Specification and Verification
moonkun
2015-09-07
1
1
[2014/7][NEMO2014] Process Algebra for Mobility (1): Specification
moonkun
2015-03-20
1
쓰기...
목록
첫 페이지
1
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
아이디
태그
취소