机译:JML中的JavaCard API的正式规范:APDU类
机译:重复使用专用于测试验证的JML规范,反之亦然:案例研究
机译:1394行业协会发布有关合规性测试套件,1394汽车光纤,VersaPHY GPIO的最新规范
机译:使用JML规范注释JAVA类的随机测试数据生成
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:重新制作慢性阿片类药物用于电子临床质量措施(ECQM)的现有临床质量措施用于术后阿片类药物规定:制定和测试规范草案
机译:使用JmL的安全关键Java测试套件
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范