A formalisation of violation, error recovery, and enforcement in the bit transmission problem
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
复制标题
位传输问题中违规、错误恢复和执行的形式化
作者：
A. Lomuscio;M. Sergot
