Cerone, Antonio.

概要

作品:	1 作品在 8 項出版品 1 種語言

書目資訊

Formal methods for an informal worldICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: (1998 :); Cerone, Antonio.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methodsSEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (1998 :); Cerone, Antonio.; Roveri, Marco.; SpringerLink (Online service) (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / by: (1998 :); Barkaoui, Kamel.; Cavalcanti, Ana.; Cerone, Antonio.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methodsSEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: (1998 :); Cerone, Antonio.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (1998 :); Boer, Frank de.; Cerone, Antonio.; SpringerLink (Online service) (書目-電子資源)

Theoretical aspects of computing - ICTAC 202118th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / by: (1998 :); Cerone, Antonio.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / by: (1998 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

Theoretical aspects of computingICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (1998 :); Cerone, Antonio.; Pihlajasaari, Pekka.; SpringerLink (Online service) (書目-電子資源)

主題