Vortrag: Software Toolchain for Modeling and Transforming Robotic Workflows in...
Stammdaten
Titel: | Software Toolchain for Modeling and Transforming Robotic Workflows into Formally Verifiable Model Representations. |
Beschreibung: | |
Schlagworte: |
Typ: | Sonstige Präsentation/Interviews |
Homepage: | https://www.joanneum.at/fileadmin/ROBOTICS/ARW_Proceedings/2022_ARW-Proceedings.pdf |
Veranstaltung: | Austrian Robotics Workshop (ARW 2022) (Villach) |
Datum: | 14.06.2022 |
Vortragsstatus: | stattgefunden (Präsenz) |
Beteiligte
Thomas Haspl
|
|
||||
Michael Rathmair
|
|
||||
Maximilian Papa
|
|
||||
Michael Hofbaur (intern) |
|
||||
Andrea M. Tonello (intern) |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Vernetzte und Eingebettete Systeme
|
AT - 9020 Klagenfurt am Wörthersee |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
Arbeitsgruppen |
|
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Veranstaltung in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen | Keine verknüpften Publikationen vorhanden |
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |