位置：成果数据库 > 期刊 > 期刊详情页
Recent advances in program verification through computer algebra
  • ISSN号：1673-7350
  • 期刊名称：Frontiers of Computer Science in China
  • 时间：0
  • 页码：1-16
  • 语言：英文
  • 相关项目：高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
作者： Xia, Bican|Zhan, Naijun|Yang, Lu|Zhou, Chaochen|
同期刊论文项目
高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
期刊论文 29 会议论文 37 专利 5
同项目期刊论文
基于子域的构件软件充分性测试样本生成策略
一种改进的基于构架的软件可靠性模型
一种面向AADL架构的模型测试方法
模型驱动的嵌入式仿真系统设计
基于CSP的构件化嵌入式软件能耗分析与评估方法研究
AADL软件容错系统建模与评估
结构分析和设计语言AADL研究
基于AADL的构架抽象工具设计
基于构件失效建模的软件架构安全性分析
构件化软件系统安全性分析技术研究
Connection between logical and algebraic approaches to concurrent systems
一种AADL系统可靠性模型转换方法
Symbolic decision procedure for termination of linear programs
AADL模型可靠性分析评估工具
Formalizing scheduling theories in duration calculus
基于AADL的软件重构工具设计与实现
基于扩展层次自动机的UML状态图完备性和一致性检验
一种智能家庭嵌入式系统的设计与实现
适应动态安全需求的实时任务调度算法研究
航空机载软件安全性测试技术研究
基于Coq的微内核操作系统程序验证方法研究
面向分布实时嵌入式系统的任务优化调度算法
一种基于模型的可视化汽车电子软件需求表示方法