Margaria, Tiziana.

概要

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

書目資訊

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II / by: Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service) (書目-電子資源)

Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: Bouguettaya, Athman.; SpringerLink (Online service); Margaria, Tiziana.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf. (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I / by: Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service) (書目-電子資源)

主題