| Publication type: |
Article in Proceedings |
| Author: |
Dennis Walter, Holger Täubig, Christoph Lüth |
| Editor: |
Schoitsch, Erwin |
| Title: |
Experiences in Applying Formal Verification in Robotics |
| Book / Collection title: |
29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010) |
| Volume: |
6351 |
| Page(s): |
347 – 360 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2010 |
| Publisher: |
Springer |
| PDF Version: |
http://dx.doi.org/10.1007/978-3-642-15651-9_26 |
| Status: |
Reviewed |
| Last updated: |
19. 01. 2011 |
|
 |
