| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Dennis Walter, Holger Täubig, Christoph Lüth |
| Herausgeber: |
Schoitsch, Erwin |
| Titel: |
Experiences in Applying Formal Verification in Robotics |
| Buch / Sammlungs-Titel: |
29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010) |
| Band: |
6351 |
| Seite(n): |
347 – 360 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2010 |
| Verleger: |
Springer |
| PDF Version: |
http://dx.doi.org/10.1007/978-3-642-15651-9_26 |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
19. 01. 2011 |
|
 |
