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.

Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV

Jonas Fritzsch, Tobias Schmid, Stefan Wagner 0001. Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. In 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. pages 372-382, IEEE, 2021. [doi]

Authors

Jonas Fritzsch

This author has not been identified. Look up 'Jonas Fritzsch' in Google

Tobias Schmid

This author has not been identified. Look up 'Tobias Schmid' in Google

Stefan Wagner 0001

This author has not been identified. Look up 'Stefan Wagner 0001' in Google
runs on