机译:BSNCare +:具有不可抵赖交易的强大的面向物联网的医疗系统
机译:BSNCare +:具有不可抵赖交易的强大的面向物联网的医疗系统
机译:基于接收方智能卡的不可否认协议设计与验证
机译:使用UML序列图来进行系统上片系统级别的基于事务的功能验证
机译:在systemc中验证交易级别模型的框架。
机译:基于现场的干燥剂系统验证和建模可替代传统的湿市场空调系统
机译:一种混合自适应交易注射协议及其对基于验证的分散系统的优化
机译:支持TaBs(基于事务的系统)原型中的分布式事务。