[IEEE 11th IEEE Real Time and Embedded Technology and Applications Symposium - San Francisco, CA, USA (07-10 March 2005)] 11th IEEE Real Time and Embedded Technology and Applications Symposium - Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting
Andrei, S., Cheng, A.M.K., Wei-Ngan Chin,, Lupu, M.Year:
2005
Language:
english
DOI:
10.1109/rtas.2005.50
File:
PDF, 236 KB
english, 2005