建立我自己的個人學術檔案
共同作者
- 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 的電子郵件地址已通過驗證