CRC for Enterprise Distributed Systems Technology (DSTC), Brisbane, QLD 4072, Australia;
机译:通过不变量验证和验证声明性模型到模型的转换
机译:使用声明性的模型到模型转换了解具有非功能属性的服务组合
机译:使用声明性的模型到模型转换了解具有非功能属性的服务组合
机译:用Tefkat实用陈述模型转换
机译:基于流的并行性的实用分析和转换。
机译:Covid-19危机期间本科人类和牙科医疗训练的实践教学。使用倒进课堂模型报告基于Covid-19相关性教学的对同行教学的转换
机译:实现实用的基于声明式逻辑的模型转换引擎