UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
Anzeige:
 

Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems

Hochschulschrift
Buch + E-Book
  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Salamati, Ali
Titel:Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Von:Ali Salamati
Ort:München
Jahr:2023
Umfang:xx, 114 Seiten
Illustrationsangabe:Illustrationen, Diagramme
Hochschulschrift :Dissertation, München, Ludwig-Maximilians-Universität, 2023
BV-Nummer:BV049619637
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe