Model Checking for Robotic Guided Surgery

• Autores: H. Mönnich, J. Raczkowsky, H. Wörn
• Localización: Electronic Healthcare: Second International ICST Conference, eHealth 2009. Istanbul, Turkey, September 23-15, 2009 / coord. por Patty Kostkova , 2009, ISBN 9783642117442, págs. 1-4
• Idioma: inglés
• Texto completo no disponible (Saber más ...)