German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3 66123 Saarbriicken;
German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3 66123 Saarbriicken;
German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3 66123 Saarbriicken;
German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3 66123 Saarbriicken;
机译:协议驱动的方法,用于自动找到在线资源中消费者健康问题的权威答案
机译:使用基于执行轨迹的约束提取为嵌入式处理器自动生成测试程序
机译:使用自动生成的可执行事务级别模型在Esl级别进行基于Odyssey的早期模拟等效检查的方法
机译:基于行为UML系统模型的可执行测试用例的生成
机译:根据行为规范自动生成面向对象的类实现。
机译:多功能群中的自动行为生成框架
机译:从并行mpI应用程序自动生成可执行通信规范的方法