Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Wongpiromsarn, Tichakorn / Ghasemi, Mahsa et al. Formal Methods for Autonomous Systems. Now Publishers Inc, 2023.
eng

Tichakorn Wongpiromsarn / Mahsa Ghasemi / Murat Cubuktepe

Formal Methods for Autonomous Systems

  • Now Publishers Inc
  • 2023
  • Taschenbuch
  • 246 Seiten
  • ISBN 9781638282723

in Kürze