从46查看出版物1-46
2023
2022
2021
2018
2017
2015
2014
2003
2000
1999
1998
1997
1996
1995
- 将形式化方法应用于软件和系统需求分析的经验大卫·汉密尔顿,理查德·科文顿,约翰·凯利,Carron Kirkwood公司,莫菲·托马斯,阿兰·弗洛拉·霍尔姆奎斯特,马克·G·斯塔斯卡斯卡斯,史蒂文·米勒,曼达扬·K·斯利瓦斯,乔治·克莱兰德,肯齐.威夫特1995:30-43 [美国国防部]
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1980
登录或注册以查看更多结果。