首页> 外文OA文献 >Formal Specification and Verification of Real-Time Systems using Graph Grammars

【2h】

Formal Specification and Verification of Real-Time Systems using Graph Grammars

机译：使用图文法的实时系统的正式规范和验证

代理获取

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

页面导航

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

著录项

作者
Leonardo Michelon; Simone André da Costa; Leila Ribeiro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal specification and verification of real-time systems using Graph Grammars [J] . Costa Simone André da, Michelon Leonardo, Ribeiro Leila, Brazilian Computer Society. Journal . 2007,第4期

机译：使用图文法对实时系统进行形式化规范和验证
2. Formal Specification and Verification of Real-Time Systems using Graph Grammars [J] . Leonardo Michelon, Simone André da Costa, Leila Ribeiro Journal of the Brazilian Computer Society . 2007,第4期

机译：使用图文法的实时系统的正式规范和验证
3. Real-time systems: formal specification and automatic verification [J] . George Hacken Computing reviews . 2010,第9期

机译：实时系统：正式规范和自动验证
4. Formal Specification and Verification of Task Time Constraints for Real-Time Systems [C] . Ning Ge. Marc Pantel, Xavier Cregut International symposium on leveraging applications of formal method, verification and validation . 2012

机译：实时系统的任务时间约束的正式规范和验证
5. Specification of concurrent systems using graph grammars. [D] . Loyall, Joseph Patrick. 1991

机译：使用图文法规范并发系统。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Formal Verification of Object-Oriented Graph Grammars Specifications [O] . Ferreira Ana Paula Lüdtke, Foss Luciana, Ribeiro Leila 2007

机译：面向对象图形语法规范的形式验证
8. Formal Specification and Verification of Real-Time Sequential Control Systems [R] . Gabrielian, A. 1994

机译：实时顺序控制系统的形式化规范与验证

Formal Specification and Verification of Real-Time Systems using Graph Grammars

著录项

引文网络

相似文献

相关主题

期刊订阅