Abate, Alessandro.

概要

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

書目資訊

Quantitative evaluation of systems18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: (1998 :); Abate, Alessandro.; Marin, Andrea.; SpringerLink (Online service) (書目-電子資源)

Numerical software verification10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (1998 :); Abate, Alessandro.; Boldo, Sylvie.; SpringerLink (Online service) (書目-電子資源)

Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (1998 :); Abate, Alessandro.; Geeraerts, Gilles.; SpringerLink (Online service) (書目-電子資源)

Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (1998 :); Abate, Alessandro.; Petrov, Tatjana.; SpringerLink (Online service); Wolf, Verena. (書目-電子資源)

Hybrid systems biologyfourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (1998 :); Abate, Alessandro.; Safranek, David.; SpringerLink (Online service) (書目-電子資源)

主題