![](/img/cover-not-exists.png)
[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
Blackham, Bernard, Liffiton, Mark, Heiser, GernotYear:
2014
Language:
english
DOI:
10.1109/RTAS.2014.6926000
File:
PDF, 430 KB
english, 2014