...
机译:通过模型检测方法验证单线自动关闭设备
(財)鉄道総合技術研究所;
鉄道信号; フォーマルメソッド; モデル検査法; SPIN; 単線自動閉そく装置; Bメソッド;
机译:通过模型检验方法验证单线自动闭合装置
机译:通过模型检测方法验证单线自动关闭设备
机译:通过SMT求解器验证单行自动阻止程序
机译:基于带有轴向力限制机构的调谐粘性质量阻尼器的满量程实验,对非线性粘性元件的等效线性化进行研究(第3部分:通过非线性粘性元件模型的等效线性化验证)
机译:大鼠舌状肌移植模型恢复移植肌肉的研究:电生理,组织学,酶,组织化学,生化,去神经支配,自我神经支配,比较研究
机译:通过模型检查方法验证Ajax应用程序的模型建议