학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
Conference
Proceedings of the 6th ACM conference on Embedded network sensor systems. :399-400
Conference
Ernst, Gidon (D-MNCH-NDM) AMS Author Profile
Verification, model checking, and abstract interpretation (20220101), 69-92.
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
Computer aided verification. Part II (20190101), 208-230.
검색 결과 제한하기
제한된 항목
[AR] Ernst, Gidon
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어