Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa. Formal Verification of Medical CPS: A Laser Incision Case Study. TCPS, 2(4), 2018. [doi]
@article{GeraldesGBMFMV18,
title = {Formal Verification of Medical CPS: A Laser Incision Case Study},
author = {Andre A. Geraldes and Luca Geretti and Davide Bresolin and Riccardo Muradore and Paolo Fiorini and Leonardo S. Mattos and Tiziano Villa},
year = {2018},
doi = {10.1145/3140237},
url = {https://doi.org/10.1145/3140237},
researchr = {https://researchr.org/publication/GeraldesGBMFMV18},
cites = {0},
citedby = {0},
journal = {TCPS},
volume = {2},
number = {4},
}