Jump to main content

yr 〜
yr

Search results 5

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Digital電子書籍・電子雑誌図書
2023
Available onlineNational Diet Library

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Digital電子書籍・電子雑誌図書
2023
Available onlineNational Diet Library

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
Paper図書
Springerc2013.<M17-14-137>
National Diet Library
  • Author HeadingCAV (Conference) (25th : 2013 : Saint Petersburg, Russia) Sharygina, Natasha. Veith, Helmut.

2010 formal methods in computer-aided design : (FMCAD 2010) : Lugano, Switzerland : 20-23 October 2010 : Oct 2010, Lugano, Switzerland.

2010 formal methods in computer-aided design : (FMCAD 2010) : Lugano, Switzerland : 20-23 October 2010 : Oct 2010, Lugano, Switzerland.
Paper図書
IEEEc2010.<M17-12-3255>
National Diet Library
  • Author HeadingFMCAD 2010 (2010 : Lugano, Switzerland) Bloem, Roderick P. Sharygina, Natasha.

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers
Paper図書
Roderick Bloem ... [et al.] (eds.)Springerc2022
Other Libraries in Japan

Reached to the end of result.

RSS