首页> 外文OA文献 >A Formal Framework for the Analysis of Recursive-Parallel Programs

【2h】

A Formal Framework for the Analysis of Recursive-Parallel Programs

机译：递归并行程序分析的形式化框架

页面导航

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

著录项

作者
O. Kushnarenko; Ph. Schnoebelen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the Recursive-Parallel Programming for the .NET Framework [J] . V. V. Vasilchikov Automatic Control and Computer Sciences . 2014,第7期

机译：.NET Framework的递归并行编程
2. Formal Meta-level Analysis Framework for Quantum Programming Languages [J] . Mohamed Yousri Mahmoud, Amy P. Felty Electronic Notes in Theoretical Computer Science . 2018,第2期

机译：量子编程语言的正式元级分析框架
3. A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems [J] . Ibrhim Hamada, Khattab Sherif, Elsayed Khaled, Building and Environment . 2020,第Auga期

机译：基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
4. K-A Semantic Framework for Programming Languages and Formal Analysis [C] . Xiaohong Chen, Grigore Rosu International School on Engineering Trustworthy Software Systems . 2019

机译：编程语言和形式分析的K-A语义框架
5. Aspect oriented programming as a formal framework for runtime monitoring. [D] . Nusayr, Amjad A. 2011

机译：面向方面的编程作为运行时监视的正式框架。
6. A Formal and Quantifiable Log Analysis Framework for Test Driving of Autonomous Vehicles [O] . Kyungbok Sung, Kyoung-Wook Min, Jeongdan Choi, 2020

机译：一种用于自动驾驶汽车的正式和可量化的日志分析框架
7. A model for recursive-parallel programs [O] . Kouchnarenko Olga, Schnoebelen Ph. 1997

机译：递归并行程序的模型
8. Open Logical Programming Environment. A Practical Framework for Sharing Formal Models [R] . Constable, R. L. , Kreitz, C. 2002

机译：开放逻辑编程环境。分享形式模型的实用框架

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号