全文获取类型
收费全文 | 501篇 |
免费 | 59篇 |
国内免费 | 18篇 |
出版年
2024年 | 2篇 |
2023年 | 5篇 |
2022年 | 8篇 |
2021年 | 6篇 |
2020年 | 13篇 |
2019年 | 9篇 |
2018年 | 4篇 |
2017年 | 7篇 |
2016年 | 14篇 |
2015年 | 10篇 |
2014年 | 36篇 |
2013年 | 44篇 |
2012年 | 53篇 |
2011年 | 36篇 |
2010年 | 31篇 |
2009年 | 39篇 |
2008年 | 69篇 |
2007年 | 79篇 |
2006年 | 14篇 |
2005年 | 21篇 |
2004年 | 12篇 |
2003年 | 7篇 |
2002年 | 9篇 |
2001年 | 9篇 |
2000年 | 6篇 |
1999年 | 6篇 |
1998年 | 14篇 |
1997年 | 4篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1990年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有578条查询结果,搜索用时 15 毫秒
71.
72.
73.
74.
75.
76.
77.
78.
79.
80.
TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。 相似文献