论文部分内容阅读
Formal Description of the Crossing Social Network System Architecture Based on Temporal Logic
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2011年6期
其他文献
Drifter Trajectory Tracking Experiment and Analysis with Multi-Frequency HFSWR in the East China Sea
期刊
从学校毕业已经13年,从事社会保险工作也是十三载,社会保险事业是神圣的,日常经办工作却是平凡的,我热爱社会保险事业,热爱我为之付出、为之努力的工作。回顾这十几年的工作,
前言第四次产业革命的浪潮正在冲击着世界各个领域和部门,尤其以电子计算机技术的广泛应用,有力地推动着社会、经济的飞速发展。我国纺织工业自1978年开始应用电子计算机以
Mesenchymal stem cell therapy for acute radiation syndrome: Innovative medical approaches in militar
After a radiological or nuclear event, acute radiation syndrome(ARS) will present complex medical challenges that could involve the treatment of hundreds to tho
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
In order to verify the consistency between software requirements model/document and userstrue minds,we present a software behavior-oriented requirements visuali
期刊