Abate, Alessandro.

概要

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

書目資訊

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

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

Quantitative evaluation of systems = 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: Abate, Alessandro.; SpringerLink (Online service); Marin, Andrea.; International Conference on Quantitative Evaluation of Systems (2021 :) (書目-電子資源)

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

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

主題