%0 Conference Paper %1 conf/eucc/SchreiterBCRFW14 %A Schreiter, Luzie %A Bresolin, Davide %A Capiluppi, Marta %A Raczkowsky, Jörg %A Fiorini, Paolo %A Wörn, Heinz %B ECC %D 2014 %I IEEE %K %P 2310-2315 %T Application of contract-based verification techniques for hybrid automata to surgical robotic systems. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2014.html#SchreiterBCRFW14 %@ 978-3-9524269-1-3

@inproceedings{conf/eucc/SchreiterBCRFW14, added-at = {2023-12-14T16:47:50.000+0100}, author = {Schreiter, Luzie and Bresolin, Davide and Capiluppi, Marta and Raczkowsky, Jörg and Fiorini, Paolo and Wörn, Heinz}, biburl = {https://www.bibsonomy.org/bibtex/222f033aab0889242224f75376c82edb6/admin}, booktitle = {ECC}, crossref = {conf/eucc/2014}, ee = {https://doi.org/10.1109/ECC.2014.6862231}, interhash = {fd3f37dbd13f1b0678af0227a105f0ff}, intrahash = {22f033aab0889242224f75376c82edb6}, isbn = {978-3-9524269-1-3}, keywords = {}, pages = {2310-2315}, publisher = {IEEE}, timestamp = {2023-12-14T16:47:50.000+0100}, title = {Application of contract-based verification techniques for hybrid automata to surgical robotic systems.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2014.html#SchreiterBCRFW14}, year = 2014 }