Jump to main content

yr 〜
yr

Search results 11

Principles of cyber-physical systems : hbk

Principles of cyber-physical systems : hbk
Paper図書
Rajeev AlurThe MIT Pressc2015
Other Libraries in Japan
  • Author HeadingAlur, Rajeev

Principles of cyber-physical systems : pbk

Principles of cyber-physical systems : pbk
Paper図書
Rajeev AlurThe MIT Pressc2015
Other Libraries in Japan
  • Author HeadingAlur, Rajeev

Verification and control of hybrid systems : a symbolic approach : [pbk]

Verification and control of hybrid systems : a symbolic approach : [pbk]
Paper図書
Paulo Tabuada ; foreword by Rajeev AlurSpringerc2010
Other Libraries in Japan
  • Author HeadingTabuada, Paulo Alur, Rajeev

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.

Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
Paper図書
Rajeev Alur, Insup Lee (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingEMSOFT Alur, Rajeev Lee, Insup

Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Paper図書
Rajeev Alur, George J. Pappas (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Alur, Rajeev Pappas, George J.

Hybrid systems: computation and control : 7th international workshop, HSCC 2004 : Philadelphia, PA, USA, March 25-27, 2004 : proceedings. : annual workshop on hybrid systems : Mar 2004, Philadelphia, PA. (Lecture Notes in Computer Science ; 2993)

Hybrid systems: computation and control : 7th international workshop, HSCC 2004 : Philadelphia, PA, USA, March 25-27, 2004 : proceedings. : annual workshop on hybrid systems : Mar 2004, Philadelphia, PA. (Lecture Notes in Computer Science ; 2993)
Paper図書
Springer-Verlagc2004.<M17-04-2955>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Pappas, George J. HSCC...

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)
Paper図書
Springerc2004.<M17-05-75>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Peled, Doron, 1962- CA...

Embedded software : third international conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings. : Oct 2003, Philadelphia, PA. (Lecture Notes in Computer Science ; 2855)

Embedded software : third international conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings. : Oct 2003, Philadelphia, PA. (Lecture Notes in Computer Science ; 2855)
Paper図書
Springerc2003.<M17-04-946>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Lee, Insup. EMSOFT 200...

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Paper図書
Rajeev Alur, Thomas A. Henzinger, (eds.)Springer-Verlagc1996
Other Libraries in Japan
  • Author HeadingCAV (Conference) Alur, Rajeev Henzinger, T. A. (Thomas A.)

Hybrid systems III : verification and control

Hybrid systems III : verification and control
Paper図書
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingAlur, Rajeev Henzinger, T. A. (Thomas A.) ...

Reached to the end of result.

RSS