Proceedings Third International Conference on Application of Concurrency to System Design. ACSD 2003

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Pub Date : 1900-01-01 DOI:10.1109/CSD.2003.1207691

引用次数: 0

Abstract

The following topics are dealt with: system design; formal specification; formal verification; Petri nets; task-level concurrency analysis tool; model checking; temporal logic.

查看原文本刊更多论文

第三届并行系统设计国际会议论文集。ACSD 2003

涉及以下主题:系统设计;正式规范;正式的验证;佩特里网;任务级并发分析工具;模型检查;时序逻辑。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.

自引率

0.00%

发文量