Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, GermanyE-mailová adresa ověřena na: simonschmitt.com
- Stephan AdlerSafety IO GmbHE-mailová adresa ověřena na: safetyio.com
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Einar Broch JohnsenProfessor, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Jozef HoomanProfessor of Computer Science, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Hillel KuglerBar-Ilan UniversityE-mailová adresa ověřena na: biu.ac.il
- Agus KurniawanFreie Universität Berlin and Universitas IndonesiaE-mailová adresa ověřena na: fu-berlin.de
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mailová adresa ověřena na: cse.gu.se
- Bernhard AichernigGraz Univ. of Technology (TU Graz)E-mailová adresa ověřena na: ist.tugraz.at
- Andreas GriesmayerImperial College LondonE-mailová adresa ověřena na: arm.com
- Mohammad Mahdi JaghooriDockmeh, CWIE-mailová adresa ověřena na: cwi.nl
- Wang YiProfessor of Embedded Systems, Uppsala UniversityE-mailová adresa ověřena na: it.uu.se
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Matthias WählischProfessor and Chair of Distributed and Networked Systems, TU Dresden, BI Research FellowE-mailová adresa ověřena na: tu-dresden.de
- Susanne GrafResearch Director, CNRS, Grenoble University, VerimagE-mailová adresa ověřena na: imag.fr
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceE-mailová adresa ověřena na: isae-supaero.fr
- Volker StolzHøgskulen på Vestlandet & Universitetet i OsloE-mailová adresa ověřena na: foldr.org
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.leidenuniv.nl
- Tom ChothiaUniversity of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk