학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 33건 | 목록 1~10
Conference
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2017 IEEE International Symposium on. :132-138 Oct, 2017
Conference
2016 European Conference on Networks and Communications (EuCNC) Networks and Communications (EuCNC), 2016 European Conference on. :307-312 Jun, 2016
Academic Journal
IEEE Communications Letters IEEE Commun. Lett. Communications Letters, IEEE. 15(7):782-784 Jul, 2011
Conference
First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'07) Complex, Intelligent and Software Intensive Systems, 2007. CISIS 2007. First International Conference on. :185-190 Apr, 2007
Conference
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. :192-195
Academic Journal
International Journal on Software Tools for Technology Transfer. Oct2018, Vol. 20 Issue 5, p499-514. 16p.
Conference
Proceedings of the 8th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks. :145-152
Book
Model Checking Software (9783319325811); 2016, p78-96, 19p
검색 결과 제한하기
제한된 항목
[AR] Salmerón, Alberto
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어