Skapa en profil
Medförfattare
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerifierad e-postadress på isae-supaero.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerifierad e-postadress på imag.fr
- Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerifierad e-postadress på imag.fr
- Ileana OberUniversity of ToulouseVerifierad e-postadress på irit.Fr
- Laurent MounierVERIMAG University of Grenoble AlpesVerifierad e-postadress på univ-grenoble-alpes.fr
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerifierad e-postadress på csl.sri.com
- Imene Ben HafaiedhUniversity of Tunis El ManarVerifierad e-postadress på isi.utm.tn
- Bernhard SteffenProfessor für Informatik, TU DortmundVerifierad e-postadress på cs.uni-dortmund.de
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerifierad e-postadress på irif.fr
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerifierad e-postadress på univ-grenoble-alpes.fr
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.leidenuniv.nl
- Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiVerifierad e-postadress på info.uaic.ro
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Sebastien GerardCEA ListVerifierad e-postadress på cea.fr
- Gregor GösslerINRIAVerifierad e-postadress på inria.fr
- Roberto PasseroneUniversity of TrentoVerifierad e-postadress på unitn.it
- Bran SelicMalina Software Corp.Verifierad e-postadress på acm.org
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerifierad e-postadress på cs.biu.ac.il
- Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Andreas PrinzProfessor of Systems Engineering, University of AgderVerifierad e-postadress på uia.no