Margaria, Tiziana

ID:DA09805178

Search authors sharing the same name

Search Results1-8 of 8

1

Industrial practice

Springer c2018 Lecture notes in computer science 11247 . LNCS sublibrary ; SL 1 .Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 4

Available at 1 libraries
2

Distributed systems

Springer c2018 Lecture notes in computer science 11246 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 3

Available at 1 libraries
3

Verification

Springer c2018 Lecture notes in computer science 11245 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 2

Available at 1 libraries
4

Modeling

Springer c2018 Lecture notes in computer science 11244 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt . 1

Available at 1 libraries
5

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

Axel Legay, Tiziana Margaria (eds.)

Springer c2017 Lecture notes in computer science 10205-10206 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Pt. 1 , Pt. 2
6

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

Tiziana Margaria, Tom Melham (eds.)

Springer c2001 Lecture notes in computer science 2144

Available at 29 libraries
7

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

Tiziana Margaria, Wang Yi (eds.)

Springer c2001 Lecture notes in computer science 2031

Available at 31 libraries
8

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Tiziana Margaria, Bernhard Steffen, (eds.)

Springer c1996 Lecture notes in computer science 1055

Available at 48 libraries

Margaria, Tiziana

Search Results1-8 of 8

Search this author

Related Authors