论文部分内容阅读
Verify UML Statecharts with SMV
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2001年1期
其他文献
9月29日,银监会发布了《关于中国(上海)自由贸易试验区银行业监管有关问题的通知》(银监发[2013]40号),支持银行业金融机构入区发展。《通知》支持中资银行入区发展,支持外资
在先秦时代末期形成的思想当中,有法家思想.法家思想是指以法和术为中心,从现实主义角度来讨论政治方法的一派.韩非整合了商鞅变法、慎道重势、申不害重术,而形成了自己独特
期刊
泰科国际公司旗下的泰科电子AMP NETCONNECT分公司日前宣布，世界最大的综合性金融企业之一金色美洲寿险公司(Golden American Life Insurance Company)的品牌企业-荷兰年金险
Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols --An Investigati
期刊
山茱萸是一种木本药用经济树种。近年来,随着它的经济价值的不断增长,在我县的栽培面积不断地扩大,目前已有200万株左右。为了指导山茱萸的生产,我们对山茱萸生产之乡——流