語系
跳至 : 概要 | 書目資訊 | 主題

Majumdar, Rupak.

概要
作品: 1 作品在 4 項出版品 1 種語言
書目資訊
Networked systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings / by: (1998 :); Georgiou, Chryssis.; Majumdar, Rupak.; SpringerLink (Online service) (書目-電子資源)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I / by: (1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service) (書目-電子資源)
Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (1998 :); Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service) (書目-電子資源)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part II / by: (1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service) (書目-電子資源)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (1998 :); Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service) (書目-電子資源)
Hybrid systemscomputation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (1998 :); Majumdar, Rupak.; SpringerLink (Online service); Tabuada, Paulo. (書目-電子資源)
Symbolic algorithms for verification and control by: Majumdar, Rupak.; University of California, Berkeley. (書目-電子資源)
 
 
變更密碼
登入