Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents

1

Matthieu Moy


https://matthieu-moy.fr/


"Bertrand Jeannet"   

Conference papers1 document

  • Kevin Marquet, Matthieu Moy, Bertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela. DATICS-IMECS, Mar 2011, Hong Kong SAR China. ⟨hal-00557515⟩