A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
复制标题
通过 UML-RT 设计模型转换来实现实时系统形式化规范的方法论途径
DOI：
--
复制
发表时间：
2007
影响因子：
1.3
通讯作者：
L. Mendoza
中科院分区：
文献类型：
--
作者：
K. B. Akhlaki;M. Capel;J. A. H. Terriza;L. Mendoza
