Rapid Verification of Embedded Systems Using Patterns.

Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul

Browse the full COMPSAC paper archive.