Bartocci, Ezio.

概要

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

書目資訊

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

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

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) (書目-電子資源)

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

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

主題