학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 159건 | 목록 1~10
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :111-121 Apr, 2024
Conference
2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-16 Jun, 2021
Academic Journal
ACM Transactions on Privacy and Security. 26(3):1-36
Conference
2013 International Conference on Social Computing Social Computing (SocialCom), 2013 International Conference on. :647-652 Sep, 2013
Conference
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. :455-462 Mar, 2013
Conference
2011 IEEE International Symposium on Policies for Distributed Systems and Networks Policies for Distributed Systems and Networks (POLICY), 2011 IEEE International Symposium on. :105-112 Jun, 2011
Conference
2010 Third International Conference on Software Testing, Verification and Validation Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. :345-354 Apr, 2010
Report
Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Miami, Florida (USA), Volume 1092 of CEUR Workshop Proceedings, Eds.: J. Cabot, M. Gogolla, I. Rath, E. Willink, pages 103-111, CEUR-WS.org, 2013
Conference
Companion Proceedings of the The Web Conference 2018. :741-749
Conference
2010 International Conference on Availability, Reliability and Security Availability, Reliability, and Security, 2010. ARES '10 International Conference on. :156-163 Feb, 2010
검색 결과 제한하기
제한된 항목
[Author] Brucker, Achim D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어