程序设计与验证的时态逻辑方法
-
1蒋昌俊,闫春钢.并行程序的设计与验证[J].自动化博览,1997(1):16-16.
-
2廖晓文,刘美.基于UML与Petri网的嵌入式系统设计与验证[J].电子技术应用,2006,32(5):66-68. 被引量：2
-
3桂小庆,张俊,张晓民,于鹏飞.时态主题模型方法及应用研究综述[J].计算机科学,2017,44(2):46-55. 被引量：11
-
4张哲.图形处理中投影变换的硬件设计与验证[J].数字技术与应用,2014,32(6):179-179.
-
5刘清.时态逻辑与程序设计语言[J].计算机科学,1989,16(5):76-79.
-
6简玲,吴悦,杨洪斌,聂新义.基于VHDL的8051中断系统的设计与验证[J].计算机工程与应用,2004,40(12):122-124.
-
7陈革,孙振河,周广田.专家系统知识库维护的逻辑方法[J].信息技术,2000,24(12):4-5. 被引量：2
-
8唐常杰,吴子华.时态数据库研究的过去,现状和发展方向[J].计算机应用,1993,13(1):1-3.
-
9谢凯年.全可编程视角下的未来十年[J].电子产品世界,2014,21(11):22-25. 被引量：1
-
10张春燕,孟志青,袁沛.时态文本挖掘的关联规则研究[J].现代营销（下）,2012(10):261-261.
;
