Verfasser Suchresultate :: Subito Katalog

1

STOMPC: Stochastic Model-Predictive Control with UPAAL STRATEGO

von Goorden, Martijn A.
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: