Accéder directement au contenu

Sophie Pinchinat

2
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

guillaume-feuillade

Modal Specifications for the Control Theory of Discrete Event Systems

 Guillaume Feuillade , Sophie Pinchinat
Discrete Event Dynamic Systems, 2007, 17 (2), pp.211-232
Article dans une revue inria-00555754v1

Spécifications modales de réseaux de Petri

 Guillaume Feuillade , Sophie Pinchinat
Journal Européen des Systèmes Automatisés (JESA), 2005, 39 (1)
Article dans une revue inria-00556005v1