Skip to content

Validation of embedded system verification models.

Jelena Marincic, Angelika Mader, Roel J. Wieringa

VenueARE
Year2011
ProceedingsMoDRE

Browse the full RE paper archive.