Search Results - Nordlie, Henrik

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Formal verification of synchronization properties of a multi-robot welding system

    Formal verification of synchronization properties of a multi-robot welding system by Nordlie, Henrik

    Request full text
    Dissertation
    Save to List
    Saved in:
  2. 2
    Model Checking and Verification of Synchronisation Properties of Cobot Welding

    Model Checking and Verification of Synchronisation Properties of Cobot Welding by Murray, Yvonne, Nordlie, Henrik, Anisi, David A., Ribeiro, Pedro, Cavalcanti, Ana

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Model Checking and Verification of Synchronisation Properties of Cobot Welding

    Model Checking and Verification of Synchronisation Properties of Cobot Welding by Murray, Yvonne, Nordlie, Henrik, Anisi, David A, Ribeiro, Pedro, Cavalcanti, Ana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: