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

Specificaties
Paperback, 184 blz. | Engels
John Wiley & Sons | e druk, 2024
ISBN13: 9798400708633
Rubricering
John Wiley & Sons e druk, 2024 9798400708633
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

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

Rubrieken

Populaire producten

    Personen

      Trefwoorden

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