Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li Verification and Evaluation of Computer and Communication Systems - Springer Springer 2022 ISBN: 9783030988500 Source: EBOOK