Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Majumdar, Rupak.

Overview
Works: 6 works in 3 publications in 1 languages
Titles
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II / by: SpringerLink (Online service); Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kuncak, Viktor. (Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by: Bartocci, Ezio.; SpringerLink (Online service); Majumdar, Rupak. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings / by: Majumdar, Rupak.; SpringerLink (Online service); Georgiou, Chryssis. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: Majumdar, Rupak.; Havelund, Klaus, (1955-); SpringerLink (Online service); Palsberg, Jens.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: Majumdar, Rupak.; SpringerLink (Online service); Kuncak, Viktor.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: SpringerLink (Online service); Tabuada, Paulo.; Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings / by: Georgiou, Chryssis.; Majumdar, Rupak.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Majumdar, Rupak. (Language materials, printed)
 
 
Change password
Login