Login
- Authors:
- Nenchev, Vladislav
- Document type:
- Konferenzbeitrag / Conference Paper
- Title:
- Automated behavior modeling for verifying safety-relevant modules
- Title of conference publication:
- 2021 Fifth IEEE International Conference on Robotic Computing (IRC)
- Organizer (entity):
- IEEE
- Conference title:
- IEEE International Conference on Robotic Computing (5., 2021, Taichung)
- Venue:
- Taichung, Taiwan
- Year of conference:
- 2021
- Date of conference beginning:
- 15.11.2021
- Date of conference ending:
- 17.11.2021
- Place of publication:
- Piscataway, NJ
- Publisher:
- IEEE
- Year:
- 2022
- Pages from - to:
- 92-95
- Language:
- Englisch
- ISBN:
- 978-1-6654-3416-4
- DOI:
- 10.1109/IRC52146.2021.00021
- URL:
- https://doi.org/10.1109/IRC52146.2021.00021
- Open Access yes or no?:
- Nein / No
BibTeX