학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 14건 | 목록 1~10
Academic Journal
In Journal of Information Security and Applications April 2014 19(2):115-129
Conference
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. :25-32 Mar, 2011
Book
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p749-765, 17p
Book
Search-Based Software Engineering (9783319221823); 2015, p77-92, 16p
Book
Tests & Proofs (9783642389153); 2013, p56-75, 20p
Book
Formal Methods for Components & Objects (9783642252709); 2012, p61-79, 19p
Book
Formal Verification of Object-Oriented Software (9783642317613); 2012, p86-104, 19p
검색 결과 제한하기
제한된 항목
[AR] Bormer, Thorsten
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어