Affiliation:
1. University of Luxembourg
2. Korea Advanced Institute of Science and Technology
Funder
Ministry of Science, ICT
(SW Star Lab) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System
Institute for Information & communications Technology Promotion (IITP)
Korea government (MSIP)
Cited by
83 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献