Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Barbara JobstmannScientist at EPFLE-mailová adresa ověřena na: epfl.ch
- Alessio R LomuscioImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- axel legayUCLouvainE-mailová adresa ověřena na: uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonE-mailová adresa ověřena na: cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleE-mailová adresa ověřena na: imag.fr
- Charles MorissetReader in Security, Newcastle UniversityE-mailová adresa ověřena na: ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityE-mailová adresa ověřena na: cs.biu.ac.il
Sledovat