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.

Adaptive Testing for Specification Coverage in CPS Models

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic. Adaptive Testing for Specification Coverage in CPS Models. In Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate, editors, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. Volume 54 of IFAC-PapersOnLine, pages 229-234, Elsevier, 2021. [doi]

Authors

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Benedikt Maderbacher

This author has not been identified. Look up 'Benedikt Maderbacher' in Google

Niveditha Manjunath

This author has not been identified. Look up 'Niveditha Manjunath' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google
runs on