External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Progress on Powertrain Verification Challenge with C2E2

Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001. Progress on Powertrain Verification Challenge with C2E2. In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 207-212, EasyChair, 2015. [doi]

Authors

Chuchu Fan

This author has not been identified. Look up 'Chuchu Fan' in Google

Parasara Sridhar Duggirala

This author has not been identified. Look up 'Parasara Sridhar Duggirala' in Google

Sayan Mitra

This author has not been identified. Look up 'Sayan Mitra' in Google

Mahesh Viswanathan 0001

This author has not been identified. Look up 'Mahesh Viswanathan 0001' in Google
runs on