Eric Landel

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Development Process

Experimental Data

Theoretical Framework

Top Venues

Publications

Goknur Sirin, Christiaan J. J. Paredis, Bernard Yannou, Eric Coatanéa, Eric Landel
A Model Identity Card to Support Simulation Model Development Process in a Collaborative Multidisciplinary Design Environment. IEEE Syst. J. 9 (4) (2015)
Saïna Herssand, Eric Landel, Jean-Marc Gilles, Joe Matta
Model Identity Card (MIC) for Simulation Models. CSDM (2015)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Using context descriptions and property definition patterns for software formal verification. ICST Workshops (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. LMO (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL (2008)