yr 〜
yr

Search results 7

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • Author HeadingATVA (Symposium) (14th : 2016 : Chiba, Japan) Artho, Cyrille. Legay, Axel. Peled, Doron A., 1962-

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)
Paper図書
Springer[2014]<M17-15-1260>
National Diet Library
  • Author HeadingFORMATS 2014 (2014 : Florence, Italy) Legay, Axel. Bozga, Marius.

Runtime verification : 4th international conference, RV 2013 : Rennes, France, September 24-27, 2013 : proceedings : Sep 2013, Rennes, France. (Lecture Notes in Computer Science ; 8174)

Runtime verification : 4th international conference, RV 2013 : Rennes, France, September 24-27, 2013 : proceedings : Sep 2013, Rennes, France. (Lecture Notes in Computer Science ; 8174)
Paper図書
Springerc2013.<M17-14-719>
National Diet Library
  • Author HeadingRV 2013 (2013 : Rennes, France) Legay, Axel. Bensalem, Sadde.

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)
Paper図書
Springerc2014.<M17-14-2137>
National Diet Library
  • Author Heading..., Y. (Yassine) Legay, Axel. Sifakis, J. (Joseph), 1946- E...

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)
Paper図書
Springerc2013.<M17-14-1312>
National Diet Library
  • Author Heading...acco, Valeria. Legay, Axel. IBM Research Haifa.

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

Automated technology for verification and analysis : 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016 : proceedings

Automated technology for verification and analysis : 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016 : proceedings
Paper図書
Cyrille Artho, Axel Legay, Doron Peled (eds.)Springerc2016
Other Libraries in Japan

Reached to the end of result.