Crea el meu perfil
Accés públic
Mostra-ho tot2 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Barbara JobstmannScientist at EPFLCorreu electrònic verificat a epfl.ch
- Alessio R LomuscioImperial College LondonCorreu electrònic verificat a imperial.ac.uk
- axel legayUCLouvainCorreu electrònic verificat a uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGCorreu electrònic verificat a univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonCorreu electrònic verificat a cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleCorreu electrònic verificat a imag.fr
- Charles MorissetReader in Security, Newcastle UniversityCorreu electrònic verificat a ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityCorreu electrònic verificat a cs.biu.ac.il
Segueix