文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
John Janeri
发表
System Requirements and Analysis Issues for High Assurance Systems
Gary Johnson, Kelly J. Hayhurst, Herbert Hecht, 1998, HASE.