Languages
Margaria, Tiziana.
Overview
Works: | 1 works in 5 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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:)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Computers and Society.
Operating Systems.
Computer Communication Networks.
Service-oriented architecture (Computer science)
Information Storage and Retrieval.
Business Information Systems.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Data Mining and Knowledge Discovery.
Computer software- Verification
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer software- Validation