Andre Geraldes

Post Doc

IIT Publications

  • 2017
  • Geraldes A.iit, Geretti L., Bresolin D., Muradore R., Fiorini P., Mattos L.iit, Villa T.

    Formal Verification of Medical CPS: a Laser Incision Case Study

    ACM Transactions on Cyber-Physical Systems