Jump to main content

yr 〜
yr

Search results 6

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-

Time for verification : essays in memory of Amir Pnueli

Time for verification : essays in memory of Amir Pnueli
Paper図書
Zohar Manna, Doron A. Peled (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingManna, Zohar Peled, Doron A.

Runtime verification : 9th International Workshop, RV 2009 Grenoble, France, June 26-28, 2009 : selected papers

Runtime verification : 9th International Workshop, RV 2009 Grenoble, France, June 26-28, 2009 : selected papers
Paper図書
Saddek Bensalem, Doron A. Peled (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingRV Bensalem, Saddek Peled, Doron A.

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
Paper図書
IOS Press[2013]<M17-15-1429>
National Diet Library
  • Author Heading...roy, M., 1949- Peled, Doron A., 1962- Kalus, Georg.

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Paper図書
Doron A. Peled, Yih-Kuen Tsay (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingATVA Tsay, Yih-Kuen Peled, Doron A.

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Paper図書
Rajeev Alur, Doron A. Peled (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingCAV (Conference) Alur, Rajeev Peled, Doron A.

Reached to the end of result.

RSS