位置：成果数据库 > 期刊 > 期刊详情页
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
  • 时间：0
  • 相关项目：用于目标机描述的元对象Petri网模型
同期刊论文项目
用于目标机描述的元对象Petri网模型
期刊论文 11 会议论文 8
同项目期刊论文
面向多核处理器的低级并行程序验证
基于确认式编译技术的移动代码安全性研究
研究中文文本分类技术的辅助平台
海洋领域知识多维多层次文本分类体系
一种基于P/T网的低级并发程序验证模型
Verification of Concurrent Assembly Programs with a Petri Net based Safety Policy
针对中文文本自动分类算法的评估体系
Retarget Open64 to an Embedded CPU ( A practice for automatic approach， CGO2007 Tutorial 特约报告，av
一种基于Renew的有色网元对象协议的设计与实现
Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy