Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(22642)
Fakultäten (HAW)
(1869)
Fakultät für Betriebswirtschaft
(1255)
Fakultät für Elektrotechnik und Technische Informatik
(262)
ETTI 1 - Institut für Physik, Elektrotechnik und Automatisierungstechnik
(182)
ETTI 2 - Institut für Verteilte Intelligente Systeme
(25)
ETTI 3 - Institut für Nachrichtentechnik und Datenübertragungstechnik
(3)
ETTI 4 - Institut für Embedded Systems
(35)
ETTI 5 - Institut für Funkkommunikation
ETTI 6 - Institut für Software Engineering
(16)
Fakultät für Maschinenbau
(354)
Forschungszentren und -initiativen
(2267)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (HAW)
Fakultät für Elektrotechnik und Technische Informatik
ETTI 4 - Institut für Embedded Systems
Back
Back to start of result list
Permanent link for displayed object
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
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
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (HAW)
Fakultät für Elektrotechnik und Technische Informatik
ETTI 4 - Institut für Embedded Systems