Accéder directement au contenu

Matthieu Moy

Maître de conférences à l'UCBL/LIP
1
Documents
Identifiants chercheurs

Présentation

<https://matthieu-moy.fr/>

Publications

839250
Image document

Efficient Encoding of SystemC/TLM in Promela

Kevin Marquet , Matthieu Moy , Bertrand Jeannet
DATICS-IMECS, Mar 2011, Hong Kong SAR China
Communication dans un congrès hal-00557515v1