Margaria-Steffen, Tiziana.

概要

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

書目資訊

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II / by: (1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Services and visualizationtowards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers / by: (1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service) (書目-電子資源)

Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III / by: (1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

主題