机译:负应用条件下基于三重图文法的模型转换的完整性和正确性
机译:反应式信息系统的模型驱动开发:从图形转换规则到JML合同
机译:相对于嵌套条件的高级转换系统的正确性
机译:开发正确的图形转换系统
机译:纠错码和密码系统的有效实现。
机译:衰减校正与非衰减校正的2-脱氧-2- F-18氟-d-葡萄糖-正电子发射断层扫描在肿瘤学中的系统评价
机译:移动环境的并发图语义11这项研究得到了EC TMR网络图形转换系统通用理论(GETGRATS)的部分支持;通过EC Esprit WG图形转换应用(APPLIGRAPH);并由意大利MURST项目竞争理论,高阶语言和类型结构(TOSCA)组成。
机译:地理和校正地磁坐标之间的经验分析变换