내 프로필 만들기
공개 액세스
모두 보기자료 2개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa Cruzalumni.stanford.edu의 이메일 확인됨
- Krishnendu ChatterjeeProfessor, IST Austriaist.ac.at의 이메일 확인됨
- Marco FaellaUniversità di Napoli "Federico II", Italyunina.it의 이메일 확인됨
- B. Thomas AdlerFacebook, Inc.alumni.caltech.edu의 이메일 확인됨
- Rupak MajumdarMPI for Software Systemsmpi-sws.org의 이메일 확인됨
- Zvonimir RakamaricAmazon Web Services (AWS)amazon.com의 이메일 확인됨
- Falk HowarTU Dortmundtu-dortmund.de의 이메일 확인됨
- Malte IsbernerRed Hatredhat.com의 이메일 확인됨
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteutwente.nl의 이메일 확인됨
- Temesghen KahsaiPrincipal Applied Scientist @ Amazonamazon.com의 이메일 확인됨
- Kasper Søe LuckowAmazon Web Servicesamazon.com의 이메일 확인됨
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.nvidia.com의 이메일 확인됨
- axel legayUCLouvainuclouvain.be의 이메일 확인됨
- Leandro Dias da SilvaUniversidade Federal de Alagoasic.ufal.br의 이메일 확인됨
- Misty DaviesNASA Ames Research Centernasa.gov의 이메일 확인됨
- Corina PasareanuCMU/NASA Amesnasa.gov의 이메일 확인됨
- Cesar SanchezResearch Professor, IMDEA Software Instituteimdea.org의 이메일 확인됨
- Alex ZamfirescuIndependent Researcherascinc.com의 이메일 확인됨