原名:Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time … by Ehsan Khamespanah
作品简介:计算机编程科学 98 (2015) 184–204。内容列表。语言，不需要任何形式方法的知识。一个全面的 。 2. 背景。在这里，我们简要概述了 Rebeca 的语法和语义，以及构建 Timed Rebeca 的扩展。……
资源下载
VIP免费升级VIP
原名:Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time … by Ehsan Khamespanah
作品简介:计算机编程科学 98 (2015) 184–204。内容列表。语言，不需要任何形式方法的知识。一个全面的 。 2. 背景。在这里，我们简要概述了 Rebeca 的语法和语义，以及构建 Timed Rebeca 的扩展。……
