Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation-MedSci.cn

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

Klai, K; Abid, CA; Arias, J; Evangelista, S

Abid, CA (通讯作者)，Univ Tunis El Manar, Fac Sci Tunis, Tunis 2092, Tunisia.;Abid, CA (通讯作者)，Univ Carthage, Mediatron Lab, SupCom, Tunis, Tunisia.

VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS (VECOS 2021), 2022; 13187 (): 27

科室
- - 订阅+
  - 更多科室
工具
服务