自分のプロフィールを作成
オープン アクセス
すべて表示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