摘要：Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to ...

原文链接:http://link.springer.com/article/10.1007/s10994-013-5405-0

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）