Suchergebnisse - Barrett, Clark

  • Treffer 1 – 4 von 4
Treffer filtern
  1. 1
    Buchumschlag

    Algorithms for verifying deep neural networks
    von Liu, Changliu, Arnon, Tomer, Lazarus, Christopher, Strong, Christopher, Barrett, Clark, Kochenderfer, Mykel J. 1980-

    Veröffentlicht 2021
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    von Barrett, Clark

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    NASA formal methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Barrett, Clark …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Barrett, Clark …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: