Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '"Verification and validation"', query time: 1.83s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    Published 2021
    Subjects: “...architecture verification and validation...”
    Get fulltext
    eBook
  2. 2
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    Published 2020
    Subjects: “...architecture verification and validation...”
    Get fulltext
    eBook
  3. 3
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    Published 2020
    Subjects: “...architecture verification and validation...”
    Get fulltext
    eBook
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    Published 2021
    Subjects: “...architecture verification and validation...”
    Get fulltext
    eBook
  5. 5
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...verification and validation...”
    Get fulltext
    eBook
  6. 6
    Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...architecture verification and validation...”
    Get fulltext
    eBook
  7. 7
    Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “...verification and validation...”
    Get fulltext
    eBook
Search Tools: Get RSS Feed — Email this Search