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

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

A Logic-Based Approach for the Verification of UML Timed Models

Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; K., Mohammad Mehdi Pourhashem; Rossi, Matteo

期刊名称ACM Transactions on Software Engineering and Methodology
作者Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; K., Mohammad Mehdi Pourhashem; Rossi, Matteo
卷第26卷
期第2期
印刷ISSN1049-331X
文件大小2795.33KB
发表时间2017-09-18
DOI10.1145/3106411
页码1-47