내 프로필 만들기
공개 액세스
모두 보기자료 2개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, Germanysimonschmitt.com의 이메일 확인됨
- Stephan AdlerSafety IO GmbHsafetyio.com의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Jozef HoomanProfessor of Computer Science, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Hillel KuglerBar-Ilan Universitybiu.ac.il의 이메일 확인됨
- Agus KurniawanFreie Universität Berlin and Universitas Indonesiafu-berlin.de의 이메일 확인됨
- Gerardo SchneiderProfessor of Computer Science, University of Gothenburgcse.gu.se의 이메일 확인됨
- Bernhard AichernigGraz Univ. of Technology (TU Graz)ist.tugraz.at의 이메일 확인됨
- Andreas GriesmayerImperial College Londonarm.com의 이메일 확인됨
- Mohammad Mahdi JaghooriDockmeh, CWIcwi.nl의 이메일 확인됨
- Wang YiProfessor of Embedded Systems, Uppsala Universityit.uu.se의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de의 이메일 확인됨
- Matthias WählischProfessor and Chair of Distributed and Networked Systems, TU Dresden, BI Research Fellowtu-dresden.de의 이메일 확인됨
- Susanne GrafResearch Director, CNRS, Grenoble University, Verimagimag.fr의 이메일 확인됨
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, Franceisae-supaero.fr의 이메일 확인됨
- Volker StolzHøgskulen på Vestlandet & Universitetet i Oslofoldr.org의 이메일 확인됨
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
- Tom ChothiaUniversity of Birminghamcs.bham.ac.uk의 이메일 확인됨