首页> 外文OA文献 >Formalizing and implementing Gries' program development method in dynamic logic

【2h】

Formalizing and implementing Gries' program development method in dynamic logic

机译：用动态逻辑形式化和实现Gries程序开发方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Heisel Maritta;
展开▼
作者单位

展开▼
年度 1992
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Implementing dynamic flowgraph methodology models with logic programs [J] . Ilkka Karanta Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2013,第3期

机译：用逻辑程序实现动态流程图方法模型
2. Patent Issued for Dynamically Adaptive Network Firewalls and Method, System and Computer Program Product Implementing Method, System and Computer Program Product Implementing Same [J] . Journal of Engineering . 2013,第13期

机译：为动态自适应网络防火墙颁发的专利及其方法，系统和计算机程序产品的实现方法，系统和计算机程序产品的实现方法
3. Synthesis of multiple-valued logic networks for FPGA implementation using developmental genetic programming [J] . Stanistaw DENIZIAK, Mariusz WISNIEWSKI, Karol WIECZOREK Running algorithm of simulator of wireless distributed measurement-control system with rule based processing . 2016,第8期

机译：使用发展型遗传编程综合用于FPGA实现的多值逻辑网络
4. Petri net implementation in programmable logic controllers: methodology for development and validation [C] . Igor Azkarate Fernández, Juan Carlos Mugarza Cortabarría, Luka Eciolaza Echeverría IEEE World Symposium on Applied Machine Intelligence and Informatics . 2021

机译：可编程逻辑控制器中的Petri网实现：开发和验证方法
5. Implementation of Breadth-First Search Method Based on a Randomly Chosen Bottom Clause for Inductive Logic Programming Method. [D] . Davande, Puja S. 2017

机译：归纳逻辑编程方法中基于随机选择的底句的广度优先搜索方法的实现。
6. Automated Software Acceleration in Programmable Logic for an Efficient NFFT Algorithm Implementation: A Case Study [O] . Manuel Rodríguez, Eduardo Magdaleno, Fernando Pérez, 2017

机译：高效实现NFFT算法的可编程逻辑中的自动化软件加速：一个案例研究
7. Reduced hardware costs with software and hardware implementation of digital methods multistage discrete Fourier transform on programmable logic devices [O] . Adeliya Yu. Burova, Anatoly V. Ryapukhin, Alexandra R. Muntyan 2020

机译：用软件和硬件实现减少了硬件成本的数字方法多级离散傅里叶变换在可编程逻辑设备上

Formalizing and implementing Gries' program development method in dynamic logic

著录项

引文网络

相似文献

相关主题

期刊订阅