Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '', query time: 0.02s Refine Results
  1. 1
    Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs

    Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs by Malekpour, Mahyar R.

    Published 2011
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  2. 2
    Integrated formal analysis of timed-triggered ethernet

    Integrated formal analysis of timed-triggered ethernet by Dutertre, Bruno

    Published 2012
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  3. 3
    Achieving agreement in three rounds with bounded-Byzantine faults /

    Achieving agreement in three rounds with bounded-Byzantine faults / by Malekpour, Mahyar R.

    Published 2015
    Online Access
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  4. 4
    A self-stabilizing distributed clock synchronization protocol for arbitrary digraphs

    A self-stabilizing distributed clock synchronization protocol for arbitrary digraphs by Malekpour, Mahyar R.

    Published 2011
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search