![](/img/cover-not-exists.png)
[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Test-case generation for embedded simulink via formal concept analysis
He, Nannan, Rümmer, Philipp, Kroening, DanielYear:
2011
Language:
english
DOI:
10.1145/2024724.2024777
File:
PDF, 470 KB
english, 2011