ProfileOfResearchers

TÃTULO: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2022, FONTE: ISoLA (1), VOLUME: 13701

INDEXADO EM:

DBLP

TÃTULO: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2018, FONTE: ISoLA (4), VOLUME: 11247

INDEXADO EM:

DBLP

TÃTULO: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2018, FONTE: ISoLA (3), VOLUME: 11246

INDEXADO EM:

DBLP

TÃTULO: 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 of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
AUTORES: Axel Legay; Tiziana Margaria;
PUBLICAÇÃO: 2017, FONTE: TACAS (1), VOLUME: 10205

INDEXADO EM:

DBLP

TÃTULO: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2016, FONTE: ISoLA (2), VOLUME: 9953

INDEXADO EM:

DBLP

INDEXADO EM:

DBLP

TÃTULO: SOFSEM 2015: Theory and Practice of Computer Science
AUTORES: Giuseppe F Italiano; Tiziana Margaria-Steffen; Jaroslav Pokorný; Jean-Jacques Quisquater; Roger Wattenhofer;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science

INDEXADO EM:

CrossRef

TÃTULO: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
AUTORES: Tiziana Margaria; Zongyan Qiu; Hongli Yang;
PUBLICAÇÃO: 2012, FONTE: TASE

INDEXADO EM:

DBLP

TÃTULO: 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
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: ISoLA (1), VOLUME: 6415

INDEXADO EM:

DBLP

TÃTULO: 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
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: ISoLA (2), VOLUME: 6416

INDEXADO EM:

DBLP

Página 1 de 2. Total de resultados: 11.

Links Úteis