학술논문
'학술논문'
에서 검색결과 18건 | 목록
1~10
Academic Journal
Soltoggio, Andrea; Ben-Iwhiwhu, Eseoghene; Braverman, Vladimir; Eaton, Eric; Epstein, Benjamin; Ge, Yunhao; Halperin, Lucy; How, Jonathan; Itti, Laurent; Jacobs, Michael A.; Kantharaju, Pavan; Le, Long; Lee, Steven; Liu, Xinran; Monteiro, Sildomar T.; Musliner, David; Nath, Saptarshi; Panda, Priyadarshini; Peridis, Christos; Pirsiavash, Hamed
Nature Machine Intelligence; Mar2024, Vol. 6 Issue 3, p251-264, 14p
Conference
Proceedings of the 8th international SPIN workshop on Model checking of software. :296-303
Academic Journal
Periodical
Miller, Christopher; Shaw, Tyler; Emfield, Adam; Hamell, Joshua; deVisser, Ewart; Parasuraman, Raja; Musliner, David
Proceedings of the Human Factors and Ergonomics Society Annual Meeting; September 2011, Vol. 55 Issue: 1 p95-99, 5p
eBook
Metareasoning: Thinking about Thinking, 2011, ill.
Academic Journal
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)
검색 결과 제한하기
제한된 항목
[AR] Musliner, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어