yr 〜
yr

Search results 4

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)
Paper図書
Springer[2017]<M17-20-375>
National Diet Library
  • Author HeadingFTSCS (Workshop) (5th : 2016 : Tokyo, Japan) Artho, Cyrille. Ölveczky, Peter Csaba.

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

Software Dependability and Test-based Software Verification

Software Dependability and Test-based Software Verification
Paper文書・図像類
Artho, CyrilleNara Institute of Science and Technology2015-10-26
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.