Technische Universitaet Berlin, Germany;
机译:带有图转换的软件和系统建模,主题为《软件和系统建模杂志》
机译:软件产品线变体的结构验证:一种基于图变换的方法
机译:使用基于搜索的技术来测试通过图形转换指定的可执行软件模型
机译:AGG:代数图转换的工具环境
机译:DryLabRTM建模软件在使用反相液相色谱法分离七种药物活性成分的方法开发和稳健性验证中的强大功能
机译:使用生命周期模型控制生产后生产风力涡轮机叶片的系统和环境。第1部分环境转型模型
机译:aGG:代数图转换的工具环境
机译:高性能电气建模和仿真软件正常环境验证和验证计划,版本1.0。