cfaed Publications
A role-based language for collaborative robot applications
Reference
Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, Uwe Aßmann, "A role-based language for collaborative robot applications" , Chapter in Leveraging Applications of Formal Methods, Verification, and Validation (Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen) , Springer, vol. 336, pp. 1-15, Oct 2012.
Bibtex
@InCollection{ auto-key*dk,
author = {Sebastian Götz and Max Leuthäuser and Jan Reimann and Julia Schroeter and Christian Wende and Claas Wilke and Uwe Aßmann},
title = {A role-based language for collaborative robot applications},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
editor = {Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},
publisher = {Springer},
volume = {336},
series = {Communications in Computer and Information Science},
pages = {1-15},
month = oct,
year = {2012},
project = {B01}
}
author = {Sebastian Götz and Max Leuthäuser and Jan Reimann and Julia Schroeter and Christian Wende and Claas Wilke and Uwe Aßmann},
title = {A role-based language for collaborative robot applications},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
editor = {Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},
publisher = {Springer},
volume = {336},
series = {Communications in Computer and Information Science},
pages = {1-15},
month = oct,
year = {2012},
project = {B01}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1078