학술논문
'학술논문'
에서 검색결과 40건 | 목록
30~40
Book
Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers; 2014, p242-261, 20p
Book
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p188-203, 16p
Book
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p9-24, 16p
Book
Hardware & Software: Verification & Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings; 2013, p214-229, 16p
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
Conference
Proceedings of the 6th ACM conference on Embedded network sensor systems. :399-400
Academic Journal
Conference
Ernst, Gidon (D-MNCH-NDM) AMS Author Profile
Conference
Proceedings of the 6th ACM Conference: Embedded Network Sensor Systems; 11/ 5/2008, p399-400, 2p
Conference
Ernst, Gidon (D-MNCH-NDM) AMS Author Profile; Murray, Toby (5-MELB-NDM) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Ernst, Gidon
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어