Incrementally verifying automata for fingerprint sensors

Pei-Yung Hsiao, Gao Shang. Incrementally verifying automata for fingerprint sensors. In 4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017. pages 442-447, IEEE, 2017. [doi]

Authors

Pei-Yung Hsiao

This author has not been identified. Look up 'Pei-Yung Hsiao' in Google

Gao Shang

This author has not been identified. Look up 'Gao Shang' in Google