학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 109건 | 목록 20~30
Conference
Proceedings of the 2010 international conference on Models in software engineering. :334-348
Conference
Proceedings of the 6th International Workshop on Security Measurements and Metrics. :1-8
Conference
Proceedings of the Second international conference on Engineering Secure Software and Systems. :157-165
Conference
Proceedings of the 2009 international conference on Models in Software Engineering. :261-275
Conference
Proceedings of the 14th ACM symposium on Access control models and technologies. :197-206
Conference
Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems. :306-320
Book
Verified Software: Theories, Tools & Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers; 2016, p40-60, 21p
Book
Tests & Proofs (9783319411347); 2016, p17-36, 20p
Book
Engineering Secure Software & Systems (9783319308050); 2016, p190-206, 17p
검색 결과 제한하기
제한된 항목
[AR] Brucker, Achim D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어