Literature

Found 1 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is He  [Clear All Filters]
2011
He, N., Ruemmer, P., Kroening, D. , "Test-Case Generation for Embedded Simulink via Formal Concept Analysis", Design Automation Conference, 2011  . Abstract
 Export: Tagged XML BibTex