Jump to main content

yr 〜
yr

Search results 12

Distributed systems

Distributed systems
Paper図書
Springerc2018
Other Libraries in Japan
  • Author HeadingISoLA (Symposium) Margaria, Tiziana Steffen, Bernhard

Modeling

Modeling
Paper図書
Springerc2018
Other Libraries in Japan
  • Author HeadingISoLA (Symposium) Margaria, Tiziana Steffen, Bernhard

Industrial practice

Industrial practice
Paper図書
Springerc2018
Other Libraries in Japan
  • Author HeadingISoLA (Symposium) Margaria, Tiziana Steffen, Bernhard

Verification

Verification
Paper図書
Springerc2018
Other Libraries in Japan
  • Author HeadingISoLA (Symposium) Margaria, Tiziana Steffen, Bernhard

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 Pt. 1 Pt. 2

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 Pt. 1 Pt. 2
Paper図書
Axel Legay, Tiziana Margaria (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingTACAS Legay, Axel Margaria, Tiziana European Conferences on Theor...

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. : 4th European joint conference on theory and practice of software (ETAPS) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2031)

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. : 4th European joint conference on theory and practice of software (ETAPS) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2031)
Paper図書
Springer2001.<M17-03-4756>
National Diet Library
  • Author HeadingUniversita di Genova. Margaria, Tiziana. Yi, Wang. TACAS 2001 (2001 :...

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. : 11th advanced research working conference on correct hardware design and verification methods : Sep 2001, Livingston, UK. (Lecture Notes in Computer Science ; 2144)

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. : 11th advanced research working conference on correct hardware design and verification methods : Sep 2001, Livingston, UK. (Lecture Notes in Computer Science ; 2144)
Paper図書
Springerc2001.<M17-03-2512>
National Diet Library
  • Author Heading...l Integration. Margaria, Tiziana. Melham, T. F. (Tom F.) Unive...

Leveraging applications of formal methods : First International Symposium, ISoLA 2004 : Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers

Leveraging applications of formal methods : First International Symposium, ISoLA 2004 : Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers
Paper図書
Tiziana Margaria, Bernhard Steffen (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingMargaria, Tiziana Steffen, Bernhard ISoLA

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
Digital図書
Tiziana Margaria, Wang Yi (eds.)Springer1855
Other Libraries in Japan
  • Author HeadingTACAS Margaria, Tiziana Yi, Wang European Conferences...

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
Paper図書
Tiziana Margaria, Tom Melham (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading... Methodologies Margaria, Tiziana Melham, T. F. (Tom F.)

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
Paper図書
Tiziana Margaria ... [et al.], edsSpringerc1998
Other Libraries in Japan
  • Author HeadingMargaria, Tiziana

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
Paper図書
Tiziana Margaria, Bernhard Steffen, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingTACAS Margaria, Tiziana Steffen, Bernhard

Reached to the end of result.

RSS