Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Roderick BloemGraz University of TechnologyVerifierad e-postadress på iaik.tugraz.at
- Barbara JobstmannScientist at EPFLVerifierad e-postadress på epfl.ch
- Alessio R LomuscioImperial College LondonVerifierad e-postadress på imperial.ac.uk
- axel legayUCLouvainVerifierad e-postadress på uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerifierad e-postadress på univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonVerifierad e-postadress på cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerifierad e-postadress på imag.fr
- Charles MorissetReader in Security, Newcastle UniversityVerifierad e-postadress på ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerifierad e-postadress på cs.biu.ac.il