Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

Gespeichert in:

Personen und Körperschaften: Bogomolov, Sergiy (VerfasserIn), ACM Special Interest Group on Embedded Systems (MitwirkendeR)
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
New York,NY,United States Association for Computing Machinery 2021
Gesamtaufnahme: ACM Conferences
ACM Digital Library
Schlagwörter:
Quelle: Verbunddaten SWB
ISBN: 9781450384445
1450384447