학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 200건 | 목록 190~200
Patent
Conference
Kauffman, Sean (3-WTRL-NDM) AMS Author Profile; Havelund, Klaus (1-CAIT-J) AMS Author Profile; Joshi, Rajeev (1-CAIT-J) AMS Author Profile
Runtime verification (20160101), 235-250.
Conference
Flanagan, Cormac (1-HPL-SR) AMS Author Profile; Joshi, Rajeev (1-HPL-SR) AMS Author Profile; Ou, Xinming (1-PRIN) AMS Author Profile; Saxe, James B. (1-HPL-SR) AMS Author Profile
Computer aided verification (20030101), 355-367.
검색 결과 제한하기
제한된 항목
[AR] Joshi, Rajeev
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어