東華大學圖書館 |

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

Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: International Conference on Software Engineering and Formal Methods (2017 :); Cerone, Antonio.; Roveri, Marco.; SpringerLink (Online service); DataMod (Workshop) (2017 :); FAACS (Workshop) (2017 :); MSE (Workshop) (2017 :); CoSim-CPS (Workshop) (2017 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2017 :) (書目-電子資源)

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

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

Software engineering and formal methods = SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: Cerone, Antonio.; SpringerLink (Online service); International Conference on Software Engineering and Formal Methods (2021 :) (書目-電子資源)

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

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