机译:关系模型转换转换级别的自动验证
Univ Potsdam Hasso Plattner Inst Prof Dr Helmert Str 2-3 D-14482 Potsdam Germany;
Univ Potsdam Hasso Plattner Inst Prof Dr Helmert Str 2-3 D-14482 Potsdam Germany;
Univ Potsdam Hasso Plattner Inst Prof Dr Helmert Str 2-3 D-14482 Potsdam Germany;
Relational model transformation; Formal verification of behavior preservation; Behavioral equivalence and refinement; Bisimulation and simulation; Graph transformation; Triple graph grammars; Invariant checking;
机译:在关系模型转换的转换级别自动验证行为保留
机译:基于程序几何建模的循环和数据重用转换自动验证技术
机译:专用重写:自动验证寄存器传输级中的低功耗转换
机译:通过不变检查实现模型转换的行为保留自动验证
机译:移情关注和常识性的OB模型知识对变革型领导者行为的影响:移情和OB模型知识是否会影响领导力?
机译:派生儿童功能的关系响应和转换:对应用行为 - 分析期刊的综述
机译:扩展关系模型转换以更好地支持日益自治的系统的验证
机译:自动变换在程序验证中的应用