Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '"distributed systems"', query time: 0.39s Refine Results
  1. 1
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    Published 2021
    Subjects: “...distributed systems...”
    Get fulltext
    eBook
  2. 2
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    Published 2021
    Subjects: “...distributed systems...”
    Get fulltext
    eBook
  3. 3
    A robust decision support leader-follower framework for design of contamination warning system in water distribution network
    Subjects: “...Water distribution systems...”
    View Fulltext in Publisher
    Article
  4. 4
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Published 2019
    Get fulltext
    eBook
  5. 5
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Published 2019
    Get fulltext
    eBook
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
    Published 2019
    Get fulltext
    eBook
  7. 7
    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
    Published 2019
    Get fulltext
    eBook
Search Tools: Get RSS Feed — Email this Search