发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Investigating Program Behavior Using the Texada LTL Specifications Miner

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Investigating Program Behavior Using the Texada LTL Specifications Miner

Lemieux, Caroline; Beschastnikh, Ivan

作者Lemieux, Caroline; Beschastnikh, Ivan
文件大小663.51KB
发表时间2015
DOI10.1109/ase.2015.94
页码870-875

← 返回【学霸图书馆】主页