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