Soka Women's College, Japan;
ARISES, Iwate Prefectural University, Japan;
rnUniversity of Muenster, Germany;
Iwate Prefectural University, Japan;
reactive systems; requirement verification; state transition rules;
机译:开发反应系统的正式方法
机译:通过风险管理方法和被动维护模型的开发减少制造系统的故障
机译:基于验证的评估软件体系结构演进的方法
机译:迈向基于验证的反应系统的开发方法
机译:量子化学的新进展和应用:基于片段的大型分子系统模型和小型过渡金属硫族化物簇的结构反应性关系
机译:以初级保健系统开发为导向的系统方法:以问题为导向的初级保健系统开发记录的开发和初步测试
机译:基于验证的PSO内存系统中的内存栅栏插入方法