placeholder image

Renault, Xavier

Person

Positions

, Laboratoire de Recherche en Informatique de Paris 6

selected publications

conference paper
- From AADL Architectural Models to Petri Nets: Checking Model Viability. . 313-320. 2009

full name

Xavier Renault

Publications in VIVO

Co-author Network