原名:Toward Parametric Timed Interfaces for Real-Time Components
作品简介:1Scuola Superiore Sant\’Anna，比萨，意大利* 见：TACAS，计算机科学讲义 2280，Springer-Verlag，第 [13] Alessandro Cimatti、Alberto Griggio、Sergio Mover 和 Stefano Tonetta (2013)：参数合成……
资源下载
VIP免费升级VIP
原名:Toward Parametric Timed Interfaces for Real-Time Components
作品简介:1Scuola Superiore Sant\’Anna，比萨，意大利* 见：TACAS，计算机科学讲义 2280，Springer-Verlag，第 [13] Alessandro Cimatti、Alberto Griggio、Sergio Mover 和 Stefano Tonetta (2013)：参数合成……
