Number of documents

2


"Guy Vidal Naquet"   

Conference papers2 documents

  • Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation. MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54. ⟨hal-00256116⟩
  • Frédéric Boulanger, Guy Vidal-Naquet. A Primitive Execution Model for Heterogeneous Modeling. ICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252. ⟨hal-00258105⟩