形式化多主体系统中的交互及交互协议

机译：迈向验证多主体系统中交互协议的正式方法

机译：与服务协议进行人机交互的社会要求的形式化

机译：用于业务流程集成的交互协议的形式化和验证：Petri网方法

机译：关于交互受限的多主体系统中紧急行为的形式化

机译：关于交互受限的多主体系统中紧急行为的形式化。

机译：混合度量-拓扑交互下具有连接保留的多主体系统的植绒算法

机译：多主体系统中交互事件的形式化

机译：人机交互中的信任与诚信：一种形式化的概念化。

机译：用于以交互方式再现音频数据和从存储介质中读出的v / v的记录和/或再现设备。用于再现第一数据和/或再现的设备。以交互方式从存储设备读取交互数据。以交互方式使用的设备中用于ENAV的临时存储（缓冲区）的存储器的管理方法为交互式。临时存储的内存的管理方法（“缓冲区”）到交互式设备中的服务“聊天”，该交互设备具有用于临时存储（缓冲区）en.AV的内存，并且在计算机中读取了临时存储的内存的管理方法（记录设备的复制和/或复制，以交互方式复制从armazenBudget的am u00ecdia读取的第一数据和交互数据，以及信息存储m

机译：用于信息存储的M u00ecdia，使用文档标记和音频数据显示交互式图像的方法以及 /或v u00ecdeo（AV）用于在交互式模式下处理文档标记的方法和设备。标记模式的文档源和图像音频源以及交互模式下的AV数据的v音频。该设备使用文档以交互模式处理音频和v / uvecdeo（AV）的数据标记，在计算机上用操作指令编码的指令编码的M u00ecdia通过 u00ecvel读取，以实现使用文档标记和交互显示图像的方法在计算机中读取音频数据和v u00ecdiao（AV）M u00ecdia通过用操作指令编码以实现以交互模式处理文档标记的方法。在计算机系统和方法中，使用文档标记以交互模式处理音频数据v u00ecdeo（AV）

机译：将基于IP的本地网络的交互式视频应用包含在基于IP的本地网络交互应用中的，用于将视听内容流包含到MPEG2专用部分网络通信协议中的方法和装置