Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques

Rainer Feldmann, Christian Haubelt, Burkhard Monien, Jürgen Teich. Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. In Peter Y. K. Cheung, George A. Constantinides, José T. de Sousa, editors, Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings. Volume 2778 of Lecture Notes in Computer Science, pages 478-487, Springer, 2003. [doi]

Authors

Rainer Feldmann

This author has not been identified. Look up 'Rainer Feldmann' in Google

Christian Haubelt

This author has not been identified. Look up 'Christian Haubelt' in Google

Burkhard Monien

This author has not been identified. Look up 'Burkhard Monien' in Google

Jürgen Teich

This author has not been identified. Look up 'Jürgen Teich' in Google