![](/img/cover-not-exists.png)
[IEEE 2014 17th Euromicro Conference on Digital System Design (DSD) - Verona, Italy (2014.8.27-2014.8.29)] 2014 17th Euromicro Conference on Digital System Design - Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
Bresolin, Davide, Geretti, Luca, Muradore, Riccardo, Fiorini, Paolo, Villa, TizianoYear:
2014
Language:
english
DOI:
10.1109/dsd.2014.55
File:
PDF, 461 KB
english, 2014