Inproceedings,
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.
M. Rathmair, C. Luckeneder, T. Haspl, B. Reiterer, R. Hoch, M. Hofbaur, and H. Kaindl.RO-MAN, page 1283-1288. IEEE, (2021)
Meta data
- BibTeX key
- conf/ro-man/RathmairLHRHHK21
- entry type
- inproceedings
- booktitle
- RO-MAN
- year
- 2021
- pages
- 1283-1288
- publisher
- IEEE
- crossref
- conf/ro-man/2021
- ee
- https://doi.org/10.1109/RO-MAN50785.2021.9515404
- isbn
- 978-1-6654-0492-1
- url
- http://dblp.uni-trier.de/db/conf/ro-man/ro-man2021.html#RathmairLHRHHK21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ro-man/RathmairLHRHHK21
%A Rathmair, Michael
%A Luckeneder, Christoph
%A Haspl, Thomas
%A Reiterer, Bernhard
%A Hoch, Ralph
%A Hofbaur, Michael W.
%A Kaindl, Hermann
%B RO-MAN
%D 2021
%I IEEE
%K dblp
%P 1283-1288
%T Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.
%U http://dblp.uni-trier.de/db/conf/ro-man/ro-man2021.html#RathmairLHRHHK21
%@ 978-1-6654-0492-1
@inproceedings{conf/ro-man/RathmairLHRHHK21,
added-at = {2024-10-06T00:00:00.000+0200},
author = {Rathmair, Michael and Luckeneder, Christoph and Haspl, Thomas and Reiterer, Bernhard and Hoch, Ralph and Hofbaur, Michael W. and Kaindl, Hermann},
biburl = {https://www.bibsonomy.org/bibtex/2c776620a3da7e792037230f8bedcc638/dblp},
booktitle = {RO-MAN},
crossref = {conf/ro-man/2021},
ee = {https://doi.org/10.1109/RO-MAN50785.2021.9515404},
interhash = {e038cf0c4b03614c4b7787d81f725dd4},
intrahash = {c776620a3da7e792037230f8bedcc638},
isbn = {978-1-6654-0492-1},
keywords = {dblp},
pages = {1283-1288},
publisher = {IEEE},
timestamp = {2024-10-07T10:31:40.000+0200},
title = {Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.},
url = {http://dblp.uni-trier.de/db/conf/ro-man/ro-man2021.html#RathmairLHRHHK21},
year = 2021
}