Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents

2

Matthieu Moy


https://matthieu-moy.fr/


"Claus Traulsen"   

Conference papers1 document

  • Florence Maraninchi, Matthieu Moy, Jérôme Cornet, Laurent Maillet-Contoz, Claude Helmstetter, et al.. SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation. 2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada. ⟨hal-00311011⟩

Preprints, Working Papers, ...1 document

  • Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi. A SystemC/TLM semantics in Promela and its Possible Applications. 2007. ⟨hal-00294143⟩