Showing 1 - 5 results of 5 for search 'Bartocci, Ezio', query time: 0.02s Refine Results
  1. 1
    Lectures on Runtime Verification Introductory and Advanced Topics /
    Published 2018
    Other Authors: “…Bartocci, Ezio…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published 2015
    Other Authors: “…Bartocci, Ezio…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Other Authors: “…Bartocci, Ezio…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
    Published 2016
    Other Authors: “…Bartocci, Ezio…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
    Published 2019
    Other Authors: “…Bartocci, Ezio…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search