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

Specificaties
Gebonden, 278 blz. | Engels
John Wiley & Sons | e druk, 2024
ISBN13: 9798400708657
Rubricering
John Wiley & Sons e druk, 2024 9798400708657
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9798400708657
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:278

Rubrieken

Populaire producten

    Personen

      Trefwoorden

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