使用 Timed Rebeca 进行实时系统建模和仿真 电子书下载

原名:Modelling and Simulation of Real-Time Systems using Timed Rebeca
作品简介:出现在 EPTCS 中。异步实时建模与仿真。
使用 Timed Rebeca 的系统。卢卡·阿塞托 1.马泰奥·西米尼 1.安娜·英戈尔夫斯多蒂尔1…….