formal specification; formal verification; object-oriented programming; protocols; component based development; component protocol specification; component specification; formal verification;
机译:高效微波辅助合成方案和全取代β-环糊精的计算机行为预测
机译:交互状态组件的行为协议
机译:基于组件的软件系统中软件组件的协议级行为可替换性研究
机译:组件协议的灵活行为兼容性和替代性:正式规格
机译:人的吸烟行为,香烟测试规程和成分产量。
机译:oy药甘草汤处方相容性研究综述及基于主要有效成分体内药物相互作用的中药处方药代动力学相容机制的思考
机译:使用I / O约束自动机将通信协议中的兼容性和可替代性正式化