내 프로필 만들기
공개 액세스
모두 보기자료 27개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Marjan SirjaniMälardalen Universitymdh.se의 이메일 확인됨
- Ramtin KhosraviAssistant Prof., University of Tehranut.ac.ir의 이메일 확인됨
- Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, Iransharif.edu의 이메일 확인됨
- Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at Berkeleyberkeley.edu의 이메일 확인됨
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Reiner HähnleProfessor of Computer Science, Technical University of Darmstadtcs.tu-darmstadt.de의 이메일 확인됨
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGing.com의 이메일 확인됨
- ludovic henrioCNRSens-lyon.fr의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Kiko FernándezEricssonericsson.com의 이메일 확인됨
- Kirill MechitovUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO Embedorillinois.edu의 이메일 확인됨
- Mohammad Reza MousaviProfessor of Software Engineering, King's College Londonkcl.ac.uk의 이메일 확인됨
- Amin ShaliUniversity of Texas, Austincs.utexas.edu의 이메일 확인됨
- Razieh Behjatitestify.no의 이메일 확인됨
- Mohammad Mahdi JaghooriDockmeh, CWIcwi.nl의 이메일 확인됨
- Peter Csaba OlveczkyProfessor of Computer Science, University of Osloifi.uio.no의 이메일 확인됨