位置：成果数据库 > 期刊 > 期刊详情页
A comparative study of two formal semantics of the SIGNAL language
  • ISSN号：1673-7350
  • 期刊名称：Frontiers of Computer Science in China
  • 时间：2013.10.10
  • 页码：673-693
  • 相关项目：面向航空关键系统的AADL转换语义及其特性保持证明研究
作者： Zhibin Yang|Jean-Paul Bodeveix|Mamoun Filali|
同期刊论文项目
面向航空关键系统的AADL转换语义及其特性保持证明研究
期刊论文 15 会议论文 3 专利 2
同项目期刊论文
Structural Analysis of Network Traffic Matrix via Relaxed Principal Component Pursuit
支持复杂负载模型的互联网络性能模拟研究
AADL2TASM: a verification and analysis tool for AADL models
基于Logistic均匀分布图像置乱方法
SDL在空间通信协议开发中的应用
PAPMAS: A Novel Prototype System for Parallel Application Performance Monitor and Analysis
k-元n-立方体网络局部通信模式下的性能模型
Multi-threaded code generation from Signal program to OpenMP
Performance Monitoring and Analysis of Task-Based OpenMP
Formal Verification of TASM Models by Translating into UPPAAL
An Improved Traffic Matrix Decomposition Method with Frequency Domain Regularization
A Scalable Infrastructure for Online Performance Analysis on CFD Application
图像置乱度评估的层次分析法