학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Academic Journal
Sanchez-Faddeev, Hernando; Pijpe, Jeroen; van der Hulle, Tom; Meij, Hans J; J van der Gaag, Kristiaan; Slagboom, P Eline; Westendorp, Rudi G J; de Knijff, Peter
Academic Journal
Sanchez-Faddeev, Hernando; Pijpe, Jeroen; van Bodegom, David; van der Hulle, Tom; van der Gaag, Kristiaan J.; Eriksson, Ulrika K.; Spear, Thomas; Westendorp, Rudi G. J.; de Knijff, Peter
Book
Sanchez-Faddeev, Hernando; Emmerich, Michael T. M.; Verbeek, Fons J.; Henry, Andrew H.; Grimshaw, Simon; Spaink, Herman P.; van Vlijmen, Herman W.; Bender, Andreas
Leveraging Applications of Formal Methods, Verification & Validation. Applications & Case Studies; 2012, p12-24, 13p
Academic Journal
Koopman, Jacob J. E.; Pijpe, Jeroen; Bohringer, Stefan; van Bodegom, David; Eriksson, Ulrika K.; Sanchez-Faddeev, Hernando; Ziem, Juventus B.; Zwaan, Bas; Slagboom, P. Eline; de Knijff, Peter; Westendorp, Rudi G. J.
검색 결과 제한하기
제한된 항목
[AR] Sanchez-Faddeev, Hernando
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어