Verifying the structure and behavior in UML/OCL models using satisfiability solvers

• 期刊名称IET Cyber-Physical Systems: Theory & Applications
• 作者Przigoda, Nils; Soeken, Mathias; Wille, Robert; Drechsler, Rolf
• 卷第1卷
• 期第1期
• 电子ISSN2398-3396
• 文件大小688.53KB
• 发表时间2016-12-01
• DOI10.1049/iet-cps.2016.0022
• 页码49-59