|
已选(0)清除
条数/页： 排序方式：
|
| Clinical features and genotype-phenotype correlation analysis in patients with ATL1 mutations: A literature reanalysis 期刊论文
TRANSLATIONAL NEURODEGENERATION, 2017, 卷号: 6
作者: Zhao, Guo-hua; Liu, Xiao-min
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/11
|
| A method based on Meta-Model for the translation from UML into Event-B 会议论文
IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Vienna, AUSTRIA, 2016-01-01
作者: Sun Weixuan; Zhang Hong; Feng Chao; Fu Yangzhen
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 面向嵌入式软件开发的UML到Simulink模型转换方法 期刊论文
计算机科学, 2016, 卷号: 43, 页码: 192-198
作者: 郭鹏; 李亚晖; 孙磊; 蔡晓乐
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/30
|
| 基于ATL的公平交换协议的形式化验证 期刊论文
2015, 卷号: 0, 期号: 19, 页码: 32
作者: 李群[1]; 陈清亮[1]
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/10
|
| Early single Aspirin-triggered Lipoxin blocked morphine anti-nociception tolerance through inhibiting NALP1 inflammasome: Involvement of PI3k/Akt signaling pathway 期刊论文
BRAIN BEHAVIOR AND IMMUNITY, 2015, 卷号: 50
作者: Tian, Yu; Liu, Ming; Mao-Ying, Qi-Liang; Liu, Huan; Wang, Zhi-Fu
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/13
|
| 基于MapObjects和DLL的自定义地图面符号库的实现 期刊论文
http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=QUDW201203028&dbname=CJFQ2012, 2014, 2014
刘金; 李钢; 陈国良
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 脂氧素在大鼠胫骨癌痛中的作用及黄芩素镇痛机制研究 学位论文
2013
作者: 胡珊
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/19
|
| 基于ATL的KM非否认协议形式化分析 期刊论文
2011, 卷号: 28, 期号: 5, 页码: 84-86
作者: 田顺仙; 龙士工
收藏 | 浏览/下载：7/0 | 提交时间：2019/12/31
|
| 基于Web技术的GNSS天线阵列变形监测系统的研究 学位论文
2010
作者: 李琴
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 组态软件中基于OPC规范的服务器应用程序开发 期刊论文
可编程控制器与工厂自动化, 2010, 期号: 09, 页码: 34+36+38
作者: 李雪; 张明; 陈斌
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/26
|
