使用浮点转换的 Timed-Rebeca 可调度性和无死锁分析… 电子书下载

原名:Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition …
作品简介:目前，Timed-Rebeca 模型的验证是通过转换为定时自动机来完成的，并且是实时系统的 Actor 模型的一些扩展 [9] Frank S. de Boer、Tom Chothia 和 Mohammad Mahdi。贾古里。……