...
机译:通过形式化,模拟和验证来分析会议协议
Delft University of Technology. Man-Machine Interaction. Mekelweg 4, 2628 CD Delft, The Netherlands;
meeting protocols; dynamic properties; temporal logical formalisation; simulation; verification; organisation modeling;
机译:用于业务流程集成的交互协议的形式化和验证:Petri网方法
机译:VHDL仿真:通信协议验证和性能分析的灵活方法
机译:基于胸廓CT协议的Monte Carlo模拟,通过剂量监测软件工具计算器官剂量验证
机译:医疗协议形式化和验证的经验
机译:使用状态空间探索验证网络协议仿真模型。
机译:鼓室内应用类固醇用于突发性听力损失的主要治疗后的听力变化:使用药物输送方案数学模拟的荟萃分析
机译:通过形式化,仿真和验证来分析会议协议