Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Marjan SirjaniMälardalen UniversityVerifierad e-postadress på mdh.se
- Silvia OlabarriagaAmsterdam University Medical Centers, University of AmsterdamVerifierad e-postadress på amc.uva.nl
- Boris BleijlevensGenmab UtrechtVerifierad e-postadress på genmab.com
- Tom ChothiaUniversity of BirminghamVerifierad e-postadress på cs.bham.ac.uk
- Shayan ShahandAcademic Medical Center, University of AmsterdamVerifierad e-postadress på amc.uva.nl
- Amin ShaliUniversity of Texas, AustinVerifierad e-postadress på cs.utexas.edu
- Wang YiProfessor of Embedded Systems, Uppsala UniversityVerifierad e-postadress på it.uu.se
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerifierad e-postadress på kcl.ac.uk
- Christel BaierTU DresdenVerifierad e-postadress på tu-dresden.de
- Einar Broch JohnsenProfessor, University of OsloVerifierad e-postadress på ifi.uio.no
- Behrooz NobakhtLIACS, CWIVerifierad e-postadress på liacs.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.nl
- Andreas GriesmayerImperial College LondonVerifierad e-postadress på arm.com
- Ramtin KhosraviAssistant Prof., University of TehranVerifierad e-postadress på ut.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.leidenuniv.nl