发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

On the testability of SDL specifications

On the testability of SDL specifications

R.M. Hierons; T.-H. Kim; H. Ural
  • 作者R.M. Hierons; T.-H. Kim; H. Ural
  • 卷第44卷
  • 期第5期
  • 印刷ISSN1389-1286
  • 文件大小608.68KB
  • 发表时间2004
  • DOI10.1016/j.comnet.2003.06.001
  • 页码681-700
← 返回【学霸图书馆】主页