位置：成果数据库 > 会议 > 会议详情页
Certifying low-level programs with hardware interrupts and preemptive threads
  • 所属机构名称：清华大学
  • 成果类型：会议
  • 相关项目：用于目标机描述的元对象Petri网模型
同会议论文项目
用于目标机描述的元对象Petri网模型
期刊论文 11 会议论文 8
同项目会议论文
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
Verification of Concurrent Assembly Programs with a Petri Net based Safety Policy
Retargeting the Open64 Compiler to PowerPC Processor
面向多核处理器的低级并行程序验证
A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets
一种基于Renew的有色网元对象协议的设计与实现（Design and Implementation of a MetaObject Protocol on Colored Petri Net bas
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems