Mijn eigen profiel maken
Medeauteurs
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceGeverifieerd e-mailadres voor isae-supaero.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleGeverifieerd e-mailadres voor imag.fr
- Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleGeverifieerd e-mailadres voor imag.fr
- Ileana OberUniversity of ToulouseGeverifieerd e-mailadres voor irit.Fr
- Laurent MounierVERIMAG University of Grenoble AlpesGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalGeverifieerd e-mailadres voor csl.sri.com
- Imene Ben HafaiedhUniversity of Tunis El ManarGeverifieerd e-mailadres voor isi.utm.tn
- Bernhard SteffenProfessor für Informatik, TU DortmundGeverifieerd e-mailadres voor cs.uni-dortmund.de
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéGeverifieerd e-mailadres voor irif.fr
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.leidenuniv.nl
- Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiGeverifieerd e-mailadres voor info.uaic.ro
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
- Sebastien GerardCEA ListGeverifieerd e-mailadres voor cea.fr
- Gregor GösslerINRIAGeverifieerd e-mailadres voor inria.fr
- Roberto PasseroneUniversity of TrentoGeverifieerd e-mailadres voor unitn.it
- Bran SelicMalina Software Corp.Geverifieerd e-mailadres voor acm.org
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityGeverifieerd e-mailadres voor cs.biu.ac.il
- Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Andreas PrinzProfessor of Systems Engineering, University of AgderGeverifieerd e-mailadres voor uia.no