Formal Methods for Safe Autonomy – Data–driven Verification, Synthesis, and Applications

Paperback Engels 2024 9798400708633
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9798400708633
Taal:Engels
Bindwijze:paperback
Aantal pagina's:184

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Formal Methods for Safe Autonomy – Data–driven Verification, Synthesis, and Applications