Reachability analysis of Hybrid Rebeca models

Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani. Reachability analysis of Hybrid Rebeca models. Journal of Systems Architecture, 167:103493, 2025. [doi]

Abstract

Abstract is missing.