학술논문
'학술논문'
에서 검색결과 36건 | 목록
1~10
Academic Journal
In Journal of Systems Architecture March 2021 114
Conference
2018 International Conference on Smart Communications in Network Technologies (SaCoNeT) Smart Communications in Network Technologies (SaCoNeT), 2018 International Conference on. :261-266 Oct, 2018
Academic Journal
Conference
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security. :1-12
Conference
Proceedings of the 2002 international symposium on Symbolic and algebraic computation. :221-228
Periodical
International Journal of Information and Communication Technology; 2018, Vol. 13 Issue: 1 p34-54, 21p
Conference
Papers from the international symposium on Symbolic and algebraic computation. :206-215
Book
Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings; 2014, p317-331, 15p
Book
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p87-102, 16p
검색 결과 제한하기
제한된 항목
[AR] Rioboo, Renaud
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어