static and dynamic specifications;
机译:使用分离逻辑增强模块化的OO验证
机译:通过分离逻辑对带有视图的链表进行模块化验证
机译:重力搜索算法中的模糊逻辑,使用具有动态alpha参数值自适应的模糊逻辑进行增强,以优化超声心动图识别中的模块化神经网络
机译:使用分离逻辑增强模块化的OO验证
机译:通过离散事件系统的模块化监督控制进行逻辑图验证
机译:对恶性淋巴样细胞的细胞免疫反应的计算机模拟:方法逻辑模型设计和实验室验证。
机译:使用分离逻辑增强模块化的OO验证。
机译:高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法。