搜索筛选:
搜索耗时3.4521秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[会议论文] 作者：陈静,闫德礼,
来源：全国抗恶劣环境计算机第二十三届学术年会 年份：2013
随着计算机软件应用的深入,人们对软件的质量和可靠性提出了更高的要求.本文通过模型转换和模型检查的方法来验证软件模型的可靠性.首先通过Kripke结构将UML状态机的图形信息...
[期刊论文] 作者：胡宏平,闫德礼,周文艳,
来源：安徽医药 年份：2009
目的建立一种高效液相色谱法测定人麻痛痹丸中士的宁的含量。方法样品在碱性环境下,采用三氯甲烷提取,提取液蒸干后用甲醇溶解,以ODS-C18为固定相,乙腈-水（30∶70）为流动相,检...
相关搜索：
