내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Marjan SirjaniMälardalen Universitymdh.se의 이메일 확인됨
- Silvia OlabarriagaAmsterdam University Medical Centers, University of Amsterdamamc.uva.nl의 이메일 확인됨
- Boris BleijlevensGenmab Utrechtgenmab.com의 이메일 확인됨
- Tom ChothiaUniversity of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Shayan ShahandAcademic Medical Center, University of Amsterdamamc.uva.nl의 이메일 확인됨
- Amin ShaliUniversity of Texas, Austincs.utexas.edu의 이메일 확인됨
- Wang YiProfessor of Embedded Systems, Uppsala Universityit.uu.se의 이메일 확인됨
- Mohammad Reza MousaviProfessor of Software Engineering, King's College Londonkcl.ac.uk의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Behrooz NobakhtLIACS, CWIliacs.nl의 이메일 확인됨
- Gianluigi ZavattaroProfessor in Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Farhad ArbabProfessor of Computer Science, Leiden Universityliacs.nl의 이메일 확인됨
- Andreas GriesmayerImperial College Londonarm.com의 이메일 확인됨
- Ramtin KhosraviAssistant Prof., University of Tehranut.ac.ir의 이메일 확인됨
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨