Search Results - Margaria-Steffen, Tiziana, 1964-
-
1
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
Published 2006Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook
-
2
Leveraging applications of formal methods, verification and validation technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octobe...
Published 2012Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15...
Published 2012Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Published 2010Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Published 2010Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Published 2014Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
7
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Published 2014Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
8
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice...
Published 2017Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
9
Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...
Published 2016Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
10
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,...
Published 2016Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
11
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice...
Published 2017Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
12
Leveraging applications of formal methods, verification and validation Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...
Published 2020Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob...
Published 2020Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
14
Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee...
Published 2018Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
15
Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octobe...
Published 2021Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh...
Published 2021Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
17
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob...
Published 2020Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
18
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
Published 2006Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Electronic Conference Proceeding eBook -
19
Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee...
Published 2018Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook -
20
Software business : From physical products to software services and solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings /
Published 2013Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
Full Text (via Springer)
Conference Proceeding eBook