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]

Abstract

Abstract is missing.