Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
VenueARTAS
Year2005
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/AndreiCCL05 ↗
Browse the full RTAS paper archive.