내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Juergen DingelSchool of Computing, Queen's University, Canadacs.queensu.ca의 이메일 확인됨
- Karen RudieProfessor, Electrical and Computer Engineering, Queen's Universityqueensu.ca의 이메일 확인됨
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Zeng (Connie) QiuFord Motor Companyumich.edu의 이메일 확인됨
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.de의 이메일 확인됨
- Yue MengMassachusetts Institute of Technologymit.edu의 이메일 확인됨
- Chuchu FanWilson Assistant Professor of Aeronautics and Astronautics at MITmit.edu의 이메일 확인됨
- Andrzej WąsowskiProfessor, IT University of Copenhagen, Denmarkitu.dk의 이메일 확인됨
- Philipp BergerPhD Student at RWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Necmiye OzayEECS, University of Michiganumich.edu의 이메일 확인됨
- Liren YangSchool of AI & Automation, Huazhong USThust.edu.cn의 이메일 확인됨
- Dawei SunUniversity of Illinois Urbana-Champaignillinois.edu의 이메일 확인됨
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität Münchenin.tum.de의 이메일 확인됨
- Wang XiaoResearch assistant, Technical University of Munichtum.de의 이메일 확인됨
- Emdad AhmedVisiting Assistant Professor of Computer Science, Miami Universirymiamioh.edu의 이메일 확인됨
- Yousaf RahmanFord Motor Companyford.com의 이메일 확인됨
- Stefan SchuppFormal Verification @Apple