Lectures on Runtime Verification Introductory and Advanced Topics Bartocci Ezio Heftet / 2018 / Engelsk
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings Bartocci Ezio Heftet / 2015 / Engelsk
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings Bartocci Ezio Heftet / 2013 / Engelsk
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings Bartocci Ezio Heftet / 2016 / Engelsk
Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Bartocci Ezio Heftet / 2021 / Engelsk
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Bartocci Ezio Heftet / 2019 / Engelsk
