[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Practical symbolic verification of regular properties
- 作者Yu, Hengbiao
- 文件大小552.17KB
- 发表时间2017
- DOI10.1145/3106237.3121275
- 页码1053-1055
Enterprise Architecture: A Literature ReviewGorkhali, Anjee; Xu, Li Da · Journal of Industrial Integration and Management · 2017
Enterprise Application Integration in Industrial Integration: A Literature ReviewGorkhali, Anjee; Xu, Li Da · Journal of Industrial Integration and Management · 2016
Corrections to articles 1650014 (Vol. 1, No. 4) and 1750009 (Vol. 2, No 2)Gorkhali, Anjee; Xu, Li Da · Journal of Industrial Integration and Management · 2019
Editorial: Inaugural IssueXu, Lida; Cai, Li; Zhao, Shukuan; Ge, Baoshan · Journal of Industrial Integration and Management · 2016
Author Index Volume 1Journal of Industrial Integration and Management · 2016
Industrial Integration: A Literature ReviewLu, Yang · Journal of Industrial Integration and Management · 2016
EditorialPeruzzini, Margherita; Stjepandić, Josip · Journal of Industrial Integration and Management · 2017
Enterprise Architecture: A Literature ReviewGorkhali, Anjee; Xu, Li Da · Journal of Industrial Integration and Management · 2017
Author Index Volume 2Journal of Industrial Integration and Management · 2017
A Survey on Industrial Information Integration 2016-2019Chen, Yong · Journal of Industrial Integration and Management · 2019
Designing Eco-Effective Reverse Logistics Networksde Souza, Vitor; Borsato, Milton; Bloemhof, Jacqueline · Journal of Industrial Integration and Management · 2017