首页> 外文OA文献 >Synthesis of embedded software using free-choice Petri netsProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

【2h】

Synthesis of embedded software using free-choice Petri netsProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

机译：使用自由选择Petri网进行嵌入式软件的综合论文集1999年设计自动化会议（目录号99CH36361）

页面导航

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

著录项

作者
Sgroi M.; Lavagno Luciano; Watanabe Y.; Sangiovanni-Vincentelli A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets [J] . Ramavarapu S. Sreenivas Automatica . 1998,第12期

机译：将独立的，增长的，自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
2. A time Petri net-based method for embedded hard real-time software synthesis [J] . Raimundo Barreto, Paulo Maciel, Eduardo Tavares, Design automation for embedded systems . 2008,第1a2期

机译：基于时间Petri网的嵌入式硬实时软件综合方法
3. A time Petri net-based method for embedded hard real-time software synthesis [J] . Raimundo Barreto, Paulo Maciel, Eduardo Tavares, Design Automation for Embedded Systems . 2008,第1a2期

机译：基于时间Petri网的嵌入式硬实时软件综合方法
4. Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) [C] . Euromicro Workshop on Real Time, 1989. Proceedings, 1989 . 1989

机译：会议录1999设计自动化会议（目录号99CH36361）
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. Automated chemical synthesis. Part 4: Batch-type reactor automation and real-time software design [O] . Daniel F. Chodosh, Kenneth Kamholz, Sidney H. Levinson, 1986

机译：自动化化学合成。第4部分：间歇式反应器自动化和实时软件设计
7. ECL: a specification environment for system-level designProceedings 1999 Design Automation Conference (Cat. No. 99CH36361) [O] . Lavagno, Luciano, Sentovich, E. 1999

机译：ECL：系统级设计的规范环境会议录1999 Design Automation Conference（Cat。No. 99CH36361）
8. Using Petri Nets to Support Concurrent Software Analysis and Design Automation [R] . Shatz, S. 1999

机译：使用petri网支持并发软件分析和设计自动化

Synthesis of embedded software using free-choice Petri netsProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

著录项

引文网络

相似文献

相关主题

期刊订阅