학술논문
'학술논문'
에서 검색결과 41건 | 목록
1~10
Academic Journal
Jenniskens, Peter; Baggaley, Jack; Crumpton, Ian; Aldous, Peter; Pokorny, Petr; Janches, Diego; Gural, Peter S.; Samuels, Dave; Albers, Jim; Howell, Andreas; Johannink, Carl; Breukers, Martin; Odeh, Mohammad; Moskovitz, Nicholas; Collison, Jack; Ganju, Siddha
In Planetary and Space Science May 2018 154:21-29
Conference
2019 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2019 Formal Methods in. :55-63 Oct, 2019
Conference
2016 IEEE Security and Privacy Workshops (SPW) Security and Privacy Workshops (SPW), 2016 IEEE. :179-184 May, 2016
Academic Journal
Artho, Cyrille; Phan, Quoc-Sang; Aldous, Peter; Almaawi, Alyas; Bang, Lucas; Berglund, Lasse; Bultan, Tevfik; Chen, Zhenbang; Converse, Hayes; Dong, Wei; Eiers, William; Gligoric, Milos; Goldsmith, Simon; Grunske, Lars; Hooker, Joshua; Kadron, Ismet Burak; Kehrer, Timo; Khurshid, Sarfraz; Le, Xuan-Bach D.; Lo, David; Mercer, Eric; Misailovic, Sasa; Namakonov, Egor; Lam Nguyen, Hoang; Noller, Yannic; Ogles, Benjamin; Padhye, Rohan; Parizek, Pavel; Păsăreanu, Corina S.; Powell, S. Jacob; Saha, Seemanta; Sen, Koushik; Sherman, Elena; Storey, Kyle; Tang, Minxing; Visser, Willem; Wang, Ji; Yu, Hengbiao
ACM SIGSOFT Software Engineering Notes. 45(2):20-22
Academic Journal
Artho, Cyrille; Phan, Quoc-Sang; Aldous, Peter; Almaawi, Alyas; Bang, Lucas; Berglund, Lasse; Bultan, Tevfik; Chen, Zhenbang; Converse, Hayes; Dong, Wei; Eiers, William; Gligoric, Milos; Goldsmith, Simon; Grunske, Lars; Hooker, Joshua; Kadron, Ismet Burak; Kehrer, Timo; Khurshid, Sarfraz; Le, Xuan-Bach D.; Lo, David; Mercer, Eric; Misailovic, Sasa; Namakonov, Egor; Lam Nguyen, Hoang; Noller, Yannic; Ogles, Benjamin; Padhye, Rohan; Parizek, Pavel; Păsăreanu, Corina S.; Powell, S. Jacob; Saha, Seemanta; Sen, Koushik; Sherman, Elena; Storey, Kyle; Tang, Minxing; Visser, Willem; Wang, Ji; Yu, Hengbiao
ACM SIGSOFT Software Engineering Notes. 45(2):20-22
Academic Journal
Nakade, Radha; Mercer, Eric; Aldous, Peter; Storey, Kyle; Ogles, Benjamin; Hooker, Joshua; Powell, Sheridan Jacob; McCarthy, Jay
Innovations in Systems & Software Engineering; Sep2019, Vol. 15 Issue 3/4, p289-306, 18p
Academic Journal
ACM SIGSOFT Software Engineering Notes. 44(4):19-19
Academic Journal
Academic Journal
ACM SIGSOFT Software Engineering Notes. 43(4):56-56
검색 결과 제한하기
제한된 항목
[AR] Aldous, Peter
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어