Margaria-Steffen, Tiziana.

概要

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

書目資訊

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

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

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

Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: ISoLA (Symposium) (2021 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Services and visualization = towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers / by: Margaria-Steffen, Tiziana.; SpringerLink (Online service); ACoS'98 ((1998 :); AIN'97 ((1997 :); VISUAL'98 ((1998 :) (書目-語言資料,印刷品)

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

主題