Search Results - RESSOUCHE, Annie

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    On the use of formal methods to model and verify neuronal archetypes

    On the use of formal methods to model and verify neuronal archetypes by DE MARIA, Elisabetta, BAHRAMI, Abdorrahim, L’YVONNET, Thibaud, FELTY, Amy, GAFFÉ, Daniel, RESSOUCHE, Annie, GRAMMONT, Franck

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    The Clem Toolkit

    The Clem Toolkit by Gaffe, D., Ressouche, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Modular Compilation of a Synchronous Language

    Modular Compilation of a Synchronous Language by Ressouche, Annie, Gaffé, Daniel, Roy, Valérie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Towards formalizing behavioral substitutability in component frameworks

    Towards formalizing behavioral substitutability in component frameworks by Moisan, S., Ressouche, A., Rigault, J.P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: