Eric Landel

According to our database, Eric Landel authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A Model Identity Card to Support Simulation Model Development Process in a Collaborative Multidisciplinary Design Environment.

Goknur Sirin, Christiaan J. J. Paredis, Bernard Yannou, Eric Coatanéa, Eric Landel

IEEE Syst. J., 2015

Model Identity Card (MIC) for Simulation Models.

Saïna Herssand, Eric Landel, Jean-Marc Gilles, Joe Matta

Proceedings of the Complex Systems Design & Management, 2015

2008

Using context descriptions and property definition patterns for software formal verification.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Un langage de contexte de preuve pour la validation formelle de modèles logiciels.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008