...
机译:验证KPN模型的并行变换
Department of Computer Science and Engineering Indian Institute of Technology India;
Department of Computer Science and Engineering Indian Institute of Technology India;
Department of Computer Science and Engineering Indian Institute of Technology India;
parallel processing; system-on-chip; multiprocessing systems; signal processing; graph theory; formal verification;
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:走向模型转换的自动验证:重构业务流程模型分析的案例研究
机译:行为模型到模型转换的形式验证技术
机译:验证KPN等级转换
机译:基于图的模型转换的形式验证
机译:肺炎克雷伯氏菌MGH 78578锌依赖性金属蛋白酶KPN_02809重组的结构建模和生化特性
机译:系统模型验证的链式模型转换:应用程序验证Capella模型的Simulink
机译:sO2和硫酸盐的长程输运和转化:模型的细化,应用和验证