Bartocci, Ezio.

概要

作品:	0 作品在 5 項出版品 1 種語言

書目資訊

Lectures on runtime verification = introductory and advanced topics / by: Bartocci, Ezio.; SpringerLink (Online service); Falcone, Ylies. (書目-電子資源)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: Bartocci, Ezio.; Lio, Pietro.; SpringerLink (Online service); CMSB (Conference) (2016 :); Paoletti, Nicola. (書目-電子資源)

Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: Bartocci, Ezio.; SpringerLink (Online service); Falcone, Ylies.; Leucker, Martin.; ISoLA (Symposium) (2021 :); Havelund, Klaus, (1955-) (書目-電子資源)

From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday / by: Bartocci, Ezio.; SpringerLink (Online service) (書目-電子資源)

Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service) (書目-電子資源)

主題