학술논문
'학술논문'
에서 검색결과 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
Report
EPTCS 102, 2012, pp. 18-32
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
Book
Bormer, Thorsten; Brockschmidt, Marc; Distefano, Dino; Ernst, Gidon; Filliâtre, Jean-Christophe; Grigore, Radu; Huisman, Marieke; Klebanov, Vladimir; Marché, Claude; Monahan, Rosemary; Mostowski, Wojciech; Polikarpova, Nadia; Scheben, Christoph; Schellhorn, Gerhard; Tofan, Bogdan; Tschannen, Julian; Ulbrich, Mattias
Formal Verification of Object-Oriented Software (9783642317613); 2012, p3-21, 19p
검색 결과 제한하기
제한된 항목
[AR] Bormer, Thorsten
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어