Založit si vlastní profil
Veřejný přístup
Zobrazit všechny3 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Marjan SirjaniMälardalen UniversityE-mailová adresa ověřena na: mdh.se
- Silvia OlabarriagaAmsterdam University Medical Centers, University of AmsterdamE-mailová adresa ověřena na: amc.uva.nl
- Boris BleijlevensGenmab UtrechtE-mailová adresa ověřena na: genmab.com
- Tom ChothiaUniversity of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk
- Shayan ShahandAcademic Medical Center, University of AmsterdamE-mailová adresa ověřena na: amc.uva.nl
- Amin ShaliUniversity of Texas, AustinE-mailová adresa ověřena na: cs.utexas.edu
- Wang YiProfessor of Embedded Systems, Uppsala UniversityE-mailová adresa ověřena na: it.uu.se
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Einar Broch JohnsenProfessor, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Behrooz NobakhtLIACS, CWIE-mailová adresa ověřena na: liacs.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Farhad ArbabProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.nl
- Andreas GriesmayerImperial College LondonE-mailová adresa ověřena na: arm.com
- Ramtin KhosraviAssistant Prof., University of TehranE-mailová adresa ověřena na: ut.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.leidenuniv.nl