학술논문
'학술논문'
에서 검색결과 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
Cattoni, Andrea F.; Madueno, German Corrales; Dieudonne, Michael; Merino, Pedro; Zayas, Almudena Diaz; Salmeron, Alberto; Carlier, Frederik; Germain, Bart Saint; Morris, Donald; Figueiredo, Ricardo; Caffrey, Jeanne; Banos, Janie; Cardenas, Carlos; Roche, Niall; Moore, Alastair
2016 European Conference on Networks and Communications (EuCNC) Networks and Communications (EuCNC), 2016 European Conference on. :307-312 Jun, 2016
Report
EPTCS 180, 2015, pp. 7-21
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
IEEE Software IEEE Softw. Software, IEEE. 26(3):26-33 Jun, 2009
Academic Journal
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)
주제어
언어