Search Results - GAFFÉ, Daniel

  • Showing 1 - 6 results of 6
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
    A Complete Automatic Test Set Generator for Embedded Reactive Systems: From AUTSEG V1 to AUTSEG V2

    A Complete Automatic Test Set Generator for Embedded Reactive Systems: From AUTSEG V1 to AUTSEG V2 by Abdelmoula, Mariem, Gaffé, Daniel, Auguin, Michel

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    The Clem Toolkit

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Concurrent control systems: from Grafcet to VHDL

    Concurrent control systems: from Grafcet to VHDL by Mallet, F., Gaffe, D., Boeri, F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    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:
  6. 6
    Large chromosomal rearrangements during a long-term evolution experiment with Escherichia coli

    Large chromosomal rearrangements during a long-term evolution experiment with Escherichia coli by Raeside, Colin, Gaffé, Joël, Deatherage, Daniel E, Tenaillon, Olivier, Briska, Adam M, Ptashkin, Ryan N, Cruveiller, Stéphane, Médigue, Claudine, Lenski, Richard E, Barrick, Jeffrey E, Schneider, Dominique

    Published in mBio
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: