Swiss Federal Institute of Technology Zurich, Computer Engineering and Networks Laboratory (TIK), CH-8092 Zurich, Switzerland;
机译:使用TTCN-3 1 sup>定义用于实时测试规范的形式语义
机译:Sip-isup / isdn互通测试的标准化Ttcn-3规范
机译:根据CPN规范创建TTCN-3测试套件
机译:基于TIMEDTTCN-3的图形实时测试规范
机译:使用TTCN-3测试实时系统。
机译:实时生物传感器的ERK活动揭示线虫细胞命运规范期间的信号动力学。
机译:使用TTCN-3定义实时测试规范的形式语义
机译:测试规范模型和实时数据耦合方案以及空间天气预测原型执行系统的开发