文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Moussa Faouzi
发表
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures
Mohamed Tahar Bhiri, Sakka Rouis Taoufik, Bhiri Mohamed Tahar, 2016, WETICE.