...
机译:实时序列图适用于硬件要求规范和验证
Electrical and Computer Engineering Department, Utah State University, Logan, Utah 84322, USA;
formal verification; protocol compliance; specification; live sequence charts; virtual component interface standard;
机译:基本协议,消息序列图和需求规范的验证
机译:构造全局状态转换图以验证写在电信软件消息序列图中的规范
机译:具有参数化模态直播序列图表的列车控制系统的运行时验证
机译:使用实时序列图进行硬件协议规范和合规性验证
机译:使用实时序列图规范进行系统的形式验证
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:使用实时序列图进行硬件协议规范和符合性验证
机译:罐废物处理分析:数据库开发,逐罐处理要求,以及应用于Hanford双壳罐式上清液废物的预处理顺序和时间表的实例 - 1993财年