创建我的个人资料
合著作者
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, France在 isae-supaero.fr 的电子邮件经过验证
- Joseph SifakisReseracher at Verimag laboratory, Grenoble在 imag.fr 的电子邮件经过验证
- Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, Grenoble在 imag.fr 的电子邮件经过验证
- Ileana OberUniversity of Toulouse在 irit.Fr 的电子邮件经过验证
- Laurent MounierVERIMAG University of Grenoble Alpes在 univ-grenoble-alpes.fr 的电子邮件经过验证
- Dr. Hassen SaidiSr Computer Scientist, SRI International在 csl.sri.com 的电子邮件经过验证
- Imene Ben HafaiedhUniversity of Tunis El Manar在 isi.utm.tn 的电子邮件经过验证
- Bernhard SteffenProfessor für Informatik, TU Dortmund在 cs.uni-dortmund.de 的电子邮件经过验证
- Ahmed BouajjaniProfessor Computer Science, Université Paris Cité在 irif.fr 的电子邮件经过验证
- Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
- Marcello BonsangueProfessor of Computer Science, Leiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
- Lucian GhirvuLector informatica, Univ. Al.I.Cuza Iasi在 info.uaic.ro 的电子邮件经过验证
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
- Sebastien GerardCEA List在 cea.fr 的电子邮件经过验证
- Gregor GösslerINRIA在 inria.fr 的电子邮件经过验证
- Roberto PasseroneUniversity of Trento在 unitn.it 的电子邮件经过验证
- Bran SelicMalina Software Corp.在 acm.org 的电子邮件经过验证
- Doron A. PeledProfessor Of Computer Science, Bar Ilan University在 cs.biu.ac.il 的电子邮件经过验证
- Michael SchwartzbachProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Andreas PrinzProfessor of Systems Engineering, University of Agder在 uia.no 的电子邮件经过验证