학술논문
'학술논문'
에서 검색결과 45건 | 목록
1~10
Academic Journal
Koumarianou, Anna; Filosso, Pier Luigi; Bodei, Lisa; Castano, Justo P.; Fernandez‐Cuesta, Lynnette; Deroose, Christophe M.; Foll, Matthieu; Dromain, Clarisse; Reed, Nicholas Simon; Caplin, Martyn; Capdevila, Jaume; Falkerby, Jenny; Faggiano, Antongiulio; Frilling, Andrea; Grande, Enrique; Hicks, Rodney J.; Kasajima, Atsuko; Kos‐Kudla, Beata; Krishna, B. A.; Lim, Eric
Conference
Formal Methods in Computer Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2010. :13-20 Oct, 2010
Academic Journal
Singh, Natasha; Krishna, B. A.; Vyas, Madhusudan; Venkatesh, Meera; Banerjee, Sharmila; Das, Tapas; Nair, K. V. Vimal; Sudipta
Academic Journal
Academic Journal
Academic Journal
Book
Hardware & Software: Verification & Testing (9783642341878); 2012, p80-94, 15p
Academic Journal
Academic Journal
Academic Journal
Krishna, B. A.; Spiess, K.; Poole, E. L.; Lau, B.; Voigt, S.; Kledal, T. N.; Rosenkilde, M. M.; Sinclair, J. H.
검색 결과 제한하기
제한된 항목
[AR] Krishna, B. A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어