建立我自己的個人學術檔案
公開取用
查看全部2 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, Germany在 simonschmitt.com 的電子郵件地址已通過驗證
- Stephan AdlerSafety IO GmbH在 safetyio.com 的電子郵件地址已通過驗證
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的電子郵件地址已通過驗證
- Einar Broch JohnsenProfessor, University of Oslo在 ifi.uio.no 的電子郵件地址已通過驗證
- Jozef HoomanProfessor of Computer Science, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Hillel KuglerBar-Ilan University在 biu.ac.il 的電子郵件地址已通過驗證
- Agus KurniawanFreie Universität Berlin and Universitas Indonesia在 fu-berlin.de 的電子郵件地址已通過驗證
- Gerardo SchneiderProfessor of Computer Science, University of Gothenburg在 cse.gu.se 的電子郵件地址已通過驗證
- Bernhard AichernigGraz Univ. of Technology (TU Graz)在 ist.tugraz.at 的電子郵件地址已通過驗證
- Andreas GriesmayerImperial College London在 arm.com 的電子郵件地址已通過驗證
- Mohammad Mahdi JaghooriDockmeh, CWI在 cwi.nl 的電子郵件地址已通過驗證
- Wang YiProfessor of Embedded Systems, Uppsala University在 it.uu.se 的電子郵件地址已通過驗證
- Christel BaierTU Dresden在 tu-dresden.de 的電子郵件地址已通過驗證
- Jasmin BlanchetteLudwig-Maximilians-Universität München在 ifi.lmu.de 的電子郵件地址已通過驗證
- Matthias WählischProfessor and Chair of Distributed and Networked Systems, TU Dresden, BI Research Fellow在 tu-dresden.de 的電子郵件地址已通過驗證
- Susanne GrafResearch Director, CNRS, Grenoble University, Verimag在 imag.fr 的電子郵件地址已通過驗證
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, France在 isae-supaero.fr 的電子郵件地址已通過驗證
- Volker StolzHøgskulen på Vestlandet & Universitetet i Oslo在 foldr.org 的電子郵件地址已通過驗證
- Marcello BonsangueProfessor of Computer Science, Leiden University在 liacs.leidenuniv.nl 的電子郵件地址已通過驗證
- Tom ChothiaUniversity of Birmingham在 cs.bham.ac.uk 的電子郵件地址已通過驗證