基于模型的安全关键软件全覆盖测试方法的研究与实现

来源 :上海交通大学 | 被引量 : 0次 | 上传用户：huangyuli

【作者】

：

马金梭

【出处】

：

上海交通大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

p21远端启动子及自反馈转录调节研究

p21 是第一个在哺乳动物细胞被发现的CDK(cyclin dependentkinase)抑制因子和肿瘤抑制基因p53的转录靶。已有的研究证明，p21在细胞增殖、分化、死亡和细胞衰老中有着重要功能意义。p21作为细胞周期检查点关键蛋白分子参与了细胞周期G1和G2/M期阻滞；DNA修复以及细胞凋亡调控。尽管如此，令人不解的是，迄今为止对多种肿瘤组织和近百种细胞的进一步筛查研究，很少检测出p21编码

学位

远端启动子

导向正确融合创新专业引领规则探索——第二十八届中国新闻奖媒体融合奖评析

期刊

基于B/S架构的医疗器械产品销售管理系统的设计与实现

学位

动力吊卡设计与运动仿真

学位

火焰原子吸收法测定紫菜中铁含量的各种消化方法比较

期刊

XDL物流公司联想PC产品项目客户关系管理的研究

学位