Approximate trace and singleton failures equivalences for transition systems
Chao Wang1, Jinzhao Wu2,*, and Hongyan Tan3
1. School of Computer and Information Technology, Beijing Jiaotong University,
Beijing 100044, China;
2. Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis,
Guangxi University for Nationalities, Nanning 530006, China;
3. Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China
Chao Wang, Jinzhao Wu, and Hongyan Tan. Approximate trace and singleton failures equivalences for transition systems[J]. Journal of Systems Engineering and Electronics, doi: 10.1109/JSEE.2015.00096.