Celina Charlet

According to our database, Celina Charlet authored at least 2 papers between 2002 and 2003.

Collaborative distances:

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

2003

How to Compute the Refinement Relation for Parameterized Systems.

Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

2002

Raffiner pour vérifier des systèmes paramétrés.

Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko

Tech. Sci. Informatiques, 2002