학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
Conference
Proceedings of the 8th international SPIN workshop on Model checking of software. :296-303
Academic Journal
International Journal on Software Tools for Technology Transfer. Feb2014, Vol. 16 Issue 1, p13-29. 17p.
Periodical
Proceedings of the Human Factors and Ergonomics Society Annual Meeting; September 2011, Vol. 55 Issue: 1 p95-99, 5p
eBook
Alexander, George, author; Raja, Anita, author; Musliner, David, author
Metareasoning: Thinking about Thinking, 2011, ill.
Conference
In: Proceedings of the Hawaii International Conference on System Sciences, Software Technology Track. (Proceedings of the Hawaii International Conference on System Sciences, 1998, 7:2-3)
Patent
Patent
검색 결과 제한하기
제한된 항목
[AR] Musliner, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어