M2R

Articles

• Recherche > Stages/emplois >

  Dedicated Solver for Formal Verification of Electric Circuits with Multiple Power Supplies

• Recherche > Stages/emplois >

  [Taken] Applying Symbolic Model-Checking Techniques to Circuit Electric Verification

• Recherche > Stages/emplois >

  [Master 2 Recherche] Ordonnancement de processus sous contrainte de pipeline

• Recherche > Étudiants/Post-docs >

  Amaury Graillat (M2R)

• Recherche > Étudiants/Post-docs >

  Julien Henry (M2R)

• Recherche > Stages/emplois >

  [CANCELED] [M2 Research] Code Generation for Simulation of Parallel Process Networks

• Recherche > Stages/emplois >

  [Taken] Theoretical complexity of graph-analysis for electrical circuit error detection

• Recherche > Stages/emplois >

  [TAKEN] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)

• Recherche > Étudiants/Post-docs >

  Nabila Abdessaied

• Recherche > Étudiants/Post-docs >

  Hanan Kanso

• 1
• 2