Tiziana Margaria: потърсете в сайта Z-Library

Свободен достъп до знания и култура.

Don't use scam websites

Книги (56)
Най-популярни
Списък
- Списък
- Таблица

1

工业关键系统的形式化方法：应用综述

工业关键系统的形式化方法：应用综述

机械工业出版社

[意]Stefania Gnesi, Tiziana Margaria 著. 靳添絮连晓峰等译

Година:

2013

Език:

chinese

Файл:

PDF, 21.36 MB

0 / 0

chinese, 2013

2

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Tiziana Margaria (editor), Bernhard Steffen (editor)

Година:

2021

Език:

english

Файл:

PDF, 29.21 MB

0 / 5.0

english, 2021

3

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

Wiley-IEEE Computer Society Press

Stefania Gnesi, Tiziana Margaria

Година:

2013

Език:

english

Файл:

PDF, 7.08 MB

0 / 0

english, 2013

4

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Година:

2020

Език:

english

Файл:

PDF, 27.77 MB

0 / 0

english, 2020

5

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Година:

2020

Език:

english

Файл:

PDF, 32.16 MB

0 / 0

english, 2020

6

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Markus Schief, Anton Pussep, Peter Buxmann (auth.), Georg Herzwurm, Tiziana Margaria (eds.)

Година:

2013

Език:

english

Файл:

PDF, 5.19 MB

0 / 0

english, 2013

7

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Година:

2020

Език:

english

Файл:

PDF, 28.03 MB

0 / 0

english, 2020

8

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

1996

Език:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 1996

9

Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

Година:

2008

Език:

english

Файл:

PDF, 12.67 MB

0 / 0

english, 2008

10

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Година:

2004

Език:

english

Файл:

PDF, 7.19 MB

0 / 0

english, 2004

11

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

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

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2016

Език:

english

Файл:

PDF, 64.11 MB

0 / 0

english, 2016

12

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

Година:

2001

Език:

english

Файл:

PDF, 3.98 MB

0 / 0

english, 2001

13

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

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

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 8.96 MB

0 / 0

english, 2012

14

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2014

Език:

english

Файл:

PDF, 17.08 MB

0 / 0

english, 2014

15

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

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

Tiziana Margaria, Bernhard Steffen

Година:

2010

Език:

english

Файл:

PDF, 13.99 MB

0 / 0

english, 2010

16

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 3.60 MB

0 / 0

english, 1996

17

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.71 MB

0 / 0

english, 2004

18

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2006

Език:

english

Файл:

PDF, 2.40 MB

0 / 0

english, 2006

19

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2009

Език:

english

Файл:

PDF, 35.10 MB

0 / 0

english, 2009

20

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Език:

english

Файл:

EPUB, 10.33 MB

0 / 0

english

21

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

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

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2010

Език:

english

Файл:

PDF, 13.00 MB

0 / 0

english, 2010

22

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

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

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2010

Език:

english

Файл:

PDF, 13.02 MB

0 / 0

english, 2010

23

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Pekka Abrahamsson, Nathan Baddoo, Margaria Tiziana, Richard Messnarz (auth.), Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (eds.)

Година:

2007

Език:

english

Файл:

PDF, 5.15 MB

0 / 0

english, 2007

24

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

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

Tiziana Margaria, Bernhard Steffen

Година:

2010

Език:

english

Файл:

PDF, 9.82 MB

0 / 0

english, 2010

25

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Година:

1998

Език:

english

Файл:

PDF, 7.31 MB

0 / 0

english, 1998

26

Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Peter Vosshall (auth.), Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.)

Година:

2008

Език:

english

Файл:

PDF, 21.81 MB

0 / 0

english, 2008

27

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

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

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 11.26 MB

0 / 0

english, 2012

28

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

Година:

2001

Език:

english

Файл:

PDF, 12.18 MB

0 / 0

english, 2001

29

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

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

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2010

Език:

english

Файл:

PDF, 8.98 MB

0 / 0

english, 2010

30

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2006

Език:

english

Файл:

PDF, 2.13 MB

0 / 0

english, 2006

31

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

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

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2010

Език:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

32

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Година:

1998

Език:

english

Файл:

DJVU, 6.59 MB

0 / 0

english, 1998

33

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

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

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2010

Език:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

34

Товариство "Просвiта" у Львовi: Покажчик видань 1868-1939

Товариство "Просвiта" у Львовi: Покажчик видань 1868-1939

Michel Wermelinger, Tiziana Margaria-Steffen

Година:

1996

Език:

ukrainian

Файл:

DJVU, 11.77 MB

0 / 0

ukrainian, 1996

35

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Година:

2019

Език:

english

Файл:

PDF, 19.57 MB

0 / 0

english, 2019

36

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Година:

2018

Език:

english

Файл:

PDF, 32.18 MB

0 / 0

english, 2018

37

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Година:

2018

Език:

english

Файл:

PDF, 29.45 MB

0 / 0

english, 2018

38

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Година:

2018

Език:

english

Файл:

PDF, 40.14 MB

0 / 0

english, 2018

39

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Година:

2018

Език:

english

Файл:

PDF, 27.53 MB

0 / 0

english, 2018

40

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

Година:

2022

Език:

english

Файл:

PDF, 18.21 MB

0 / 5.0

english, 2022

41

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, P

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, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

Година:

2017

Език:

english

Файл:

PDF, 25.98 MB

0 / 0

english, 2017

42

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, P

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, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

Година:

2017

Език:

english

Файл:

PDF, 16.70 MB

0 / 0

english, 2017

43

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

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

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 10.70 MB

0 / 0

english, 2012

44

Process Design for Natural Scientists: An Agile Model-Driven Approach

Process Design for Natural Scientists: An Agile Model-Driven Approach

Springer-Verlag Berlin Heidelberg

Anna-Lena Lamprecht, Tiziana Margaria (eds.)

Година:

2014

Език:

english

Файл:

PDF, 20.52 MB

0 / 0

english, 2014

45

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2016

Език:

english

Файл:

PDF, 51.65 MB

0 / 0

english, 2016

46

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2014

Език:

english

Файл:

PDF, 20.35 MB

0 / 0

english, 2014

47

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

Година:

2001

Език:

english

Файл:

PDF, 4.55 MB

0 / 0

english, 2001

48

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.)

Година:

2015

Език:

english

Файл:

PDF, 13.69 MB

0 / 0

english, 2015

49

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

Година:

2017

Език:

english

Файл:

PDF, 23.72 MB

0 / 0

english, 2017

50

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 12.26 MB

0 / 0

english, 2012