ADOxx

번호	제목	글쓴이	날짜	조회 수
	[2016/7] NEMO2016 : A Meta-Modeling Method for IoT Using Process Algebra and Behavior Ontology.	moonkun	2016-03-01	569
3	[2016/1/28] NIPA, SEC, Technical Seminar, 60회, 특강: 1부, 2부.	moonkun	2016-03-01	264
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