[IEEE Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Toronto, Canada (25-28 May 2004)] Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Incremental satisfiability counting for real-time systems
Andrei, S., Wei-Ngan Chin,Year:
2004
Language:
english
DOI:
10.1109/rttas.2004.1317295
File:
PDF, 374 KB
english, 2004