Search Results - Gourcuff, V

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Verification of a Timed Multitask System With Uppaal

    Verification of a Timed Multitask System With Uppaal by Bel Mokadem, H, Bérard, B, Gourcuff, V, De Smet, O, Roussel, J

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Verification of a timed multitask system with UPPAAL

    Verification of a timed multitask system with UPPAAL by Mokadem, H.B., Berard, B., Gourcuff, V., Roussel, J.-M., De Smet, O.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Efficient representation for formal verification of PLC programs

    Efficient representation for formal verification of PLC programs by Gourcuff, V., De Smet, O., Faure, J.-M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Best practices for Core Argo floats - Part 2: physical handling, deployment and metadata considerations

    Best practices for Core Argo floats - Part 2: physical handling, deployment and metadata considerations by Morris, Tamaryn, Scanderbeg, Megan, West-Mack, Deborah, Gourcuff, Claire, Poffa, Noé, Udaya Bhaskar, Tata V. S., Hanstein, Craig, Diggs, Steve, Talley, Lynne, Turpin, Victor, Liu, Zenghong, Owens, Breck

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Best practices for Core Argo floats - part 1: getting started and data considerations

    Best practices for Core Argo floats - part 1: getting started and data considerations by Morris, Tamaryn, Scanderbeg, Megan, West-Mack, Deborah, Gourcuff, Claire, Poffa, Noé, Bhaskar, T. V. S. Udaya, Hanstein, Craig, Diggs, Steve, Talley, Lynne, Turpin, Victor, Liu, Zenghong, Owens, Breck

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

Search Tools: