Mijn eigen profiel maken
Openbare toegang
Alles bekijken2 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Roderick BloemGraz University of TechnologyGeverifieerd e-mailadres voor iaik.tugraz.at
- Barbara JobstmannScientist at EPFLGeverifieerd e-mailadres voor epfl.ch
- Alessio R LomuscioImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- axel legayUCLouvainGeverifieerd e-mailadres voor uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonGeverifieerd e-mailadres voor cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleGeverifieerd e-mailadres voor imag.fr
- Charles MorissetReader in Security, Newcastle UniversityGeverifieerd e-mailadres voor ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityGeverifieerd e-mailadres voor cs.biu.ac.il