Jump to main content

yr 〜
yr

Search results 6

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)
Paper図書
Springer[2015]<M17-16-759>
National Diet Library
  • Author HeadingRV (Conference) (6th : 2015 : Vienna, Austria) Bartocci, Ezio (Computer scientist) Majumdar, Rupak.

Hybrid systems: computation and control : 12th international conference, HSCC 2009 : San Francisco, CA, USA, April 13-15, 2009 : proceedings. : 2nd cyber-physical systems week (CPSWeek) : Apr 2009, San Francisco, CA. (Lecture Notes in Computer Science ; 5469)

Hybrid systems: computation and control : 12th international conference, HSCC 2009 : San Francisco, CA, USA, April 13-15, 2009 : proceedings. : 2nd cyber-physical systems week (CPSWeek) : Apr 2009, San Francisco, CA. (Lecture Notes in Computer Science ; 5469)
Paper図書
Springerc2009.<M17-10-378>
National Diet Library
  • Author HeadingMajumdar, Rupak. Tabuada, Paulo. HSCC 2009 (2...

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
Paper図書
Jean-François Raskin ... [et al.] (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingRaskin, Jean-François Chatterjee, Krishnendu Doyen, Laurent Majumdar, Rupak

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
Paper図書
Springerc2008.<M17-08-2037>
National Diet Library
  • Author HeadingHavelund, Klaus, 1955- Majumdar, Rupak. Palsberg, Jens. Internationa...

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2
Paper図書
Rupak Majumdar, Viktor Kunčak (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingCAV (Conference) Majumdar, Rupak Kunčak, Viktor

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings
Paper図書
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingSPIN Havelund, Klaus Majumdar, Rupak Palsberg, Jens

Reached to the end of result.

RSS