Sequential dependency and reliability analysis of embedded systems.

Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun

Browse the full ASPDAC paper archive.