形式化方法与软件的可靠性
出处
《管理观察》
1999年第9期47-47,共1页
Management Observer
-
1熊曾刚,杨扬,曾明,陈福.基于Pi-演算的集成P2P模式的网格形式化建模[J].北京交通大学学报,2008,32(6):83-89.
-
2马丽,马世龙,眭跃飞,伊胜伟.一种RBAC的描述逻辑表示方法[J].计算机科学,2010,37(3):29-35. 被引量：8
-
3全亮.软件体系结构中四种常见风格的形式化[J].中国科技信息,2005(20A):42-42.
-
4许明,开金宇,肖蕾.反应式软件形式化系统研究系统分析[J].哈尔滨商业大学学报（自然科学版）,2014,30(4):477-481. 被引量：1
-
5杨群华.我国互联网金融的特殊风险及防范研究[J].金融科技时代,2013,21(7):100-103. 被引量：214
-
6吴狄,陈杰,Oquendo Flavio,张娟.基于商空间的分布式仿真系统优化设计模型[J].中南大学学报（自然科学版）,2009,40(S1):268-272. 被引量：1
-
7杨世瀚,王灏.“管道-过滤器”软件体系结构风格的形式化[J].小型微型计算机系统,2000,21(11):1214-1216. 被引量：4
-
8苏立娟,丁宁.基于分割法的混杂近似自动机研究[J].广西民族大学学报（自然科学版）,2017,23(1):51-54. 被引量：1
-
9钟珊,常晋义,陈秋亚,朱丹香.基于谓词/变迁网的Agent规划研究[J].计算机工程,2011,37(7):204-206.
-
10王礼强,龚俭.数字证书语义的形式化描述[J].计算机工程与科学,2001,23(1):5-7.
;
