论文部分内容阅读
Verify UML Statecharts with SMV
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2001年2期
其他文献
Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols--An Investigatio
期刊
由贺维宏、张光汉主编的《中国柯尔克孜族百科全书》（以下简称《百科全书》已经由新疆人民出版社出版．正式和读者见面了。这是我国柯尔克孜族人民历史上第一部百科全书，它使中国
1.来稿题材、风格、不限，特别欢迎近年来拍摄的新作。来稿请标明“美摄欣赏投稿”字样；2.请注明作品标题，拍摄地点、时间，作者姓名，联系方式等；3.来稿请作者自行负责有关权益事宜，本
为隆重纪念中国共产党成立91周年华诞,进一步深化云南电网公司“为民服务创先争优”及基层组织建设年活动,6月28日,公司在云电会堂隆重召开“七一”优秀基层党组织建设成果巡
如何计算开放式基金的申、认购费用?一般计算基金申、认购金额时有外扣法和内扣法两种方法,但因为外扣法用除法而内扣法用乘法,所以,为了计算方便,国内基金管理公司系统大多